default search action
WRLA 2010: Paphos, Cyprus (Satellite Event of ETAPS 2010)
- Peter Csaba Ölveczky:
Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6381, Springer 2010, ISBN 978-3-642-16309-8
Invited Talks
- Natarajan Shankar:
Rewriting, Inference, and Proof. 1-14 - José Meseguer:
Twenty Years of Rewriting Logic. 15-17
Termination and Narrowing
- Raúl Gutiérrez
, Salvador Lucas
Proving Termination in the Context-Sensitive Dependency Pair Framework. 18-34 - Beatriz Alarcón, Salvador Lucas
A Dependency Pair Framework for A OR C-Termination. 35-51 - Santiago Escobar
Folding Variant Narrowing and Optimal Variant Termination. 52-68
Tools
- Francisco Durán
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications. 69-85 - Francisco Durán
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories. 86-103
The K Framework
- Traian-Florin Serbanuta, Grigore Rosu:
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages. 104-122 - Irina Mariuca Asavoae, Mihail Asavoae:
Collecting Semantics under Predicate Abstraction in the K Framework. 123-139
Applications and Semantics
- Michael Katelman, Sean Keller, José Meseguer:
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. 140-156 - Mu Sun, José Meseguer, Lui Sha:
A Formal Pattern Architecture for Safe Medical Systems. 157-173 - José Eduardo Rivera
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. 174-190 - Fernando Rosa-Velardo
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding. 191-207
Maude Model Checking and Debugging
- Kyungmin Bae, José Meseguer:
The Linear Temporal Logic of Rewriting Maude Model Checker. 208-225 - Adrián Riesco
Enhancing the Debugging of Maude Specifications. 226-242
Rewrite Engines
- Francisco Durán
The Third Rewrite Engines Competition. 243-261
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-12-19 22:18 CET 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: