scientific article; zbMATH DE number 1231654

MaRDI QIDQ4222979zbMATH OpenFDO

Authors Francisco Durán, Steven Eker, Narciso Martí-Oliet, José Meseguer, M. Clavel, P. Lincoln

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

zbMATH Keywords

Mauderewriting

Mathematics Subject Classification ID

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

Recommendations

• Strategies and user interfaces in Maude at work
• Maude: specification and programming in rewriting logic
• scientific article; zbMATH DE number 1231667
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications

Cites work

• A semantics preserving actor translation
• Axiomatizing permutation equivalence
• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 3703962 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 1231536 (Why is no real title available?)
• scientific article; zbMATH DE number 1231537 (Why is no real title available?)
• scientific article; zbMATH DE number 1231540 (Why is no real title available?)
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• scientific article; zbMATH DE number 1231654 (Why is no real title available?)
• scientific article; zbMATH DE number 1231656 (Why is no real title available?)
• scientific article; zbMATH DE number 1231660 (Why is no real title available?)
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
• Specification and proof in membership equational logic

Cited in

(20)

• 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
• Rewriting logic: Roadmap and bibliography
• Metalevel transformation of strategies
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
• scientific article; zbMATH DE number 1696904 (Why is no real title available?)
• Strategies and user interfaces in Maude at work
• Maude's internal strategies
• The Maude LTL model checker
• Two Decades of Maude
• scientific article; zbMATH DE number 1231540 (Why is no real title available?)
• scientific article; zbMATH DE number 1231654 (Why is no real title available?)
• scientific article; zbMATH DE number 1231667 (Why is no real title available?)
• A rewriting-based model checker for the linear temporal logic of rewriting
• Two case studies of semantics execution in Maude: CCS and LOTOS
• Directly reflective meta-programming
• Equational approximations for tree automata completion

Describes a project that uses

Uses Software

• OBJ3
• Maude

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222979)