Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings > Multi-paradigm Programming in Maude
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings |
Vlad Rusu
Springer International Publishing
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Multi-paradigm Programming in Maude
Authors

Santiago Escobar

ARI Id

1665141629357_5008484

Access

Not Available Free

Pages

26-44

DOI

10.1007/978-3-319-99840-4_2

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-99840-4_2

Table of Contents of Book
Showing 1 to 16 of 16 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
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
1-25
Multi-paradigm Programming in Maude
Santiago Escobar
26-44
MUnit: A Unit Framework for Maude
Adrián Riesco
45-58
Parameterized Programming for Compositional System Specification
Óscar Martín; Alberto Verdejo; Narciso Martí-Oliet
59-75
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT
Francisco Durán; Camilo Rocha; Gwen Salaün
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
98-114
Proving Structural Properties of Sequent Systems in Rewriting Logic
Carlos Olarte; Elaine Pimentel; Camilo Rocha
115-135
Formal Modeling and Analysis of the Walter Transactional Data Store
Si Liu; Peter Csaba Ölveczky; Qi Wang; José Meseguer
136-152
Extending Timbuk to Verify Functional Programs
Thomas Genet; Tristan Gillard; Timothée Haudebourg; Sébastien Lê Cong
153-163
Generalized Rewrite Theories and Coherence Completion
José Meseguer
164-183
Proving Ground Confluence of Equational Specifications Modulo Axioms
Francisco Durán; José Meseguer; Camilo Rocha
184-204
Uniform Strong Normalization for Multi-discipline Calculi
Paul Downen; Philip Johnson-Freyd; Zena M. Ariola
205-225
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming
Sergio Ramírez; Miguel Romero; Camilo Rocha; Frank Valencia
226-244
Approximating Any Logic Program by a CS-Program
Yohan Boichut; Vivien Pelletier; Pierre Réty
245-260
Back Matter
261-261
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 16 of 16 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings