Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Description

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction, and its applications. Front Matter ....Pages I-XII Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages (Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada)....Pages 1-25 Multi-paradigm Programming in Maude (Santiago Escobar)....Pages 26-44 MUnit: A Unit Framework for Maude (Adrián Riesco)....Pages 45-58 Parameterized Programming for Compositional System Specification (Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet)....Pages 59-75 Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT (Francisco Durán, Camilo Rocha, Gwen Salaün)....Pages 76-97 Associative Unification and Symbolic Reasoning Modulo Associativity in Maude (Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott)....Pages 98-114 Proving Structural Properties of Sequent Systems in Rewriting Logic (Carlos Olarte, Elaine Pimentel, Camilo Rocha)....Pages 115-135 Formal Modeling and Analysis of the Walter Transactional Data Store (Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer)....Pages 136-152 Extending Timbuk to Verify Functional Programs (Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong)....Pages 153-163 Generalized Rewrite Theories and Coherence Completion (José Meseguer)....Pages 164-183 Proving Ground Confluence of Equational Specifications Modulo Axioms (Francisco Durán, José Meseguer, Camilo Rocha)....Pages 184-204 Uniform Strong Normalization for Multi-discipline Calculi (Paul Downen, Philip Johnson-Freyd, Zena M. Ariola)....Pages 205-225 Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming (Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia)....Pages 226-244 Approximating Any Logic Program by a CS-Program (Yohan Boichut, Vivien Pelletier, Pierre Réty)....Pages 245-260 Back Matter ....Pages 261-261