Volume 176, Number 1, May 2007

Proceedings of the Third International Workshop on Term Graph Rewriting (TERMGRAPH 2006)

• 
  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

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2006)

• 
  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

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006)

• 
  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

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006)

• 
  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