scientific article; zbMATH DE number 1231654

zbMATH Open0917.68024MaRDI QIDQ4222979FDOQ4222979

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

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

rewritingMaude

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (17)

• Two case studies of semantics execution in Maude: CCS and LOTOS
• Reflection in conditional rewriting logic
• A Maude specification of an object-oriented model for telecommunication networks
• Directly reflective meta-programming
• Title not available (Why is that?)
• The Maude LTL model checker
• A rewriting-based model checker for the linear temporal logic of rewriting
• Specification of real-time and hybrid systems in rewriting logic
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
• Equational approximations for tree automata completion
• ELAN from a rewriting logic point of view
• Strategies and user interfaces in Maude at work
• Maude's internal strategies
• Title not available (Why is that?)
• Maude: specification and programming in rewriting logic
• Two Decades of Maude
• Rewriting logic: Roadmap and bibliography

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)