default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWRLA 2018: Thessaloniki, Greece (Satellite Event of ETAPS 2018)
- Vlad Rusu:
Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Lecture Notes in Computer Science 11152, Springer 2018, ISBN 978-3-319-99839-8 - Hubert Garavel, Mohammad-Ali Tabikh, Imad-Seddik Arrada:
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite Engines Competition. 1-25 - Santiago Escobar
:
Multi-paradigm Programming in Maude. 26-44 - Adrián Riesco:
MUnit: A Unit Framework for Maude. 45-58 - Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Parameterized Programming for Compositional System Specification. 59-75 - Francisco Durán, Camilo Rocha, Gwen Salaün:
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. 76-97 - Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. 98-114 - Carlos Olarte, Elaine Pimentel, Camilo Rocha:
Proving Structural Properties of Sequent Systems in Rewriting Logic. 115-135 - Si Liu, Peter Csaba Ölveczky, Qi Wang, José Meseguer:
Formal Modeling and Analysis of the Walter Transactional Data Store. 136-152 - Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong:
Extending Timbuk to Verify Functional Programs. 153-163 - José Meseguer:
Generalized Rewrite Theories and Coherence Completion. 164-183 - Francisco Durán, José Meseguer, Camilo Rocha:
Proving Ground Confluence of Equational Specifications Modulo Axioms. 184-204 - Paul Downen, Philip Johnson-Freyd, Zena M. Ariola:
Uniform Strong Normalization for Multi-discipline Calculi. 205-225 - Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia:
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. 226-244 - Yohan Boichut, Vivien Pelletier, Pierre Réty:
Approximating Any Logic Program by a CS-Program. 245-260
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-30 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
