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