Electronic Notes in Theoretical Computer Science, Volume 176

Volume 176, Number 1, May 2007

• Ian Mackie:
  Preface. 1-2
  
• Sergio Antoy, Daniel W. Brown, Su-Hui Chiang:
  Lazy Context Cloning for Non-Deterministic Graph Rewriting. 3-23
  
• Christophe Calvès, Maribel Fernández:
  Implementing Nominal Unification. 25-37
  
• Olaf Chitil, Yong Luo:
  Structure and Properties of Traces for Functional Programs. 39-63
  
• Dominique Duval, Rachid Echahed, Frédéric Prost:
  Modeling Pointer Redirection as Cyclic Term-graph Rewriting. 65-84
  
• Paolo Baldan, Fabio Gadducci, Ugo Montanari:
  Modelling Calculi with Name Mobility using Graphs with Equivalences. 85-97
  
• Paul D. Hovland, Boyana Norris, Michelle Mills Strout, Jean Utke:
  Term Graphs for Computing Derivatives in Imperative Languages. 99-111
  
• Damiano Mazza:
  Observational Equivalence for the Interaction Combinators and Internal Separation. 113-137
  
• José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
  A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. 139-163
  

Volume 176, Number 2, May 2007

• Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner:
  Preface. 1-4
  
• Andreas Rausch:
  DisCComp - A Formal Model for Distributed Concurrent Components. 5-23
  
• Markus Klein, Julia Padberg, Fernando Orejas:
  Towards Multiple Access in Generic Component Architectures. 25-45
  
• Björn Metzler, Heike Wehrheim:
  Extending a Component Specification Language with Time. 47-67
  
• Heiko Koziolek, Viktoria Firus:
  Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation. 69-87
  
• Wei Dong, Zhenbang Chen, Ji Wang:
  A Contract-based Approach to Specifying and Verifying Safety Critical Systems. 89-103
  
• Lars Gesellensetter, Sabine Glesner:
  Only the Best Can Make It: Optimal Component Selection. 105-124
  
• Samik Basu, Partha S. Roop, Roopak Sinha:
  Local Module Checking for CTL Specifications. 125-141
  
• Pavel Parizek, Frantisek Plasil:
  Specification and Generation of Environment for Model Checking of Software Components. 143-154
  

Volume 176, Number 3, July 2007

• Jens Knoop, George C. Necula, Wolf Zimmermann:
  Preface. 1-2
  
• Lennart Beringer:
  Functional Elimination of Phi-instructions. 3-20
  
• Yi Fang, Lenore D. Zuck:
  Improved Invariant Generation for Tvoc. 21-35
  
• David Aspinall, Lennart Beringer, Alberto Momigliano:
  Optimisation Validation. 37-59
  
• Sabine Glesner, Johannes Leitner, Jan Olaf Blech:
  Coinductive Verification of Program Optimizations Using Similarity Relations. 61-77
  
• Aditya Kanade, Amitabha Sanyal, Uday P. Khedker:
  Structuring Optimizing Transformations and Proving Them Sound. 79-95
  
• Wolfram Amme, Marc-André Möller, Philipp Adler:
  Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations. 97-108
  
• Eric Van Wyk, Lijesh Krishnan:
  Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. 109-122
  

Volume 176, Number 4, July 2007

• Grit Denker, Carolyn L. Talcott:
  Preface. 1-3
  
• Peter Csaba Ölveczky, José Meseguer:
  Abstraction and Completeness for Real-Time Maude. 5-27
  
• Ralf Sasse, José Meseguer:
  Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. 29-46
  
• Michael Katelman, José Meseguer:
  A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. 47-60
  
• Azadeh Farzan, José Meseguer:
  Partial Order Reduction for Rewriting Semantics of Programming Languages. 61-78
  
• Gustavo Santos-García, Miguel Palomino:
  Solving Sudoku Puzzles with Rewriting Rules. 79-93
  
• Horatiu Cirstea, Clément Houtmann, Benjamin Wack:
  Distributive rho-calculus. 95-111
  
• Francisco Durán, Adrián Riesco, Alberto Verdejo:
  A Distributed Implementation of Mobile Maude. 113-131
  
• Fabricio Chalub, Christiano Braga:
  Maude MSOS Tool. 133-146
  
• Martin R. Neuhäußer, Thomas Noll:
  Abstraction and Model Checking of Core Erlang Programs in Maude. 147-163
  
• Antoine Reilles:
  Canonical Abstract Syntax Trees. 165-179
  
• Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister:
  A Rewriting Logic Framework for Soft Constraints. 181-197
  
• Dilia E. Rodriguez:
  On Modelling Sensor Networks in Maude. 199-213
  
• Mark Hills, Traian Serbanuta, Grigore Rosu:
  A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. 215-231
  
• Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta:
  Rewriting Logic Systems. 233-247