scientific article; zbMATH DE number 1231654

zbMath0917.68024MaRDI QIDQ4222979

Francisco Durán, José Meseguer, Narciso Martí-Oliet, Steven Eker, Patrick D. Lincoln, Manuel Clavel

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rewritingMaude

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (13)

Rewriting logic: Roadmap and bibliography ⋮ Directly reflective meta-programming ⋮ Two Decades of Maude ⋮ Unnamed Item ⋮ A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting ⋮ Unnamed Item ⋮ Equational approximations for tree automata completion ⋮ ELAN from a rewriting logic point of view ⋮ Maude: specification and programming in rewriting logic ⋮ Reflection in conditional rewriting logic ⋮ Specification of real-time and hybrid systems in rewriting logic ⋮ A Maude specification of an object-oriented model for telecommunication networks ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS

Uses Software

• OBJ3
• Maude

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Specification and proof in membership equational logic
• A semantics preserving actor translation
• Axiomatizing permutation equivalence
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: