Abstract is missing.
- Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines CompetitionHubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada. 1-25 [doi]
- Multi-paradigm Programming in MaudeSantiago Escobar. 26-44 [doi]
- MUnit: A Unit Framework for MaudeAdrián Riesco. 45-58 [doi]
- Parameterized Programming for Compositional System SpecificationÓscar Martín, Alberto Verdejo, Narciso Martí-Oliet. 59-75 [doi]
- Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMTFrancisco Durán, Camilo Rocha, Gwen Salaün. 76-97 [doi]
- Associative Unification and Symbolic Reasoning Modulo Associativity in MaudeFrancisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. 98-114 [doi]
- Proving Structural Properties of Sequent Systems in Rewriting LogicCarlos Olarte, Elaine Pimentel, Camilo Rocha. 115-135 [doi]
- Formal Modeling and Analysis of the Walter Transactional Data StoreSi Liu 0003, Peter Csaba Ölveczky, Qi Wang 0017, José Meseguer. 136-152 [doi]
- Extending Timbuk to Verify Functional ProgramsThomas Genet, Tristan Gillard, Timothée HAUDEBOURG, Sébastien Lê Cong. 153-163 [doi]
- Generalized Rewrite Theories and Coherence CompletionJosé Meseguer. 164-183 [doi]
- Proving Ground Confluence of Equational Specifications Modulo AxiomsFrancisco Durán, José Meseguer, Camilo Rocha. 184-204 [doi]
- Uniform Strong Normalization for Multi-discipline CalculiPaul Downen, Philip Johnson-Freyd, Zena M. Ariola. 205-225 [doi]
- Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint ProgrammingSergio Ramírez, Miguel Romero 0005, Camilo Rocha, Frank Valencia. 226-244 [doi]
- Approximating Any Logic Program by a CS-ProgramYohan Boichut, Vivien Pelletier, Pierre Réty. 245-260 [doi]