scientific article; zbMATH DE number 1231537

MaRDI QIDQ4222853zbMATH OpenFDO

Authors Steven Eker, José Meseguer, M. Clavel, P. Lincoln

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#celm

zbMATH Keywords

Mauderewriting logic language

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• Maude: specification and programming in rewriting logic
• scientific article; zbMATH DE number 1615226
• Maude's internal strategies
• Symbolic reasoning methods in rewriting logic and Maude
• An Overview of the Maude Strategy Language and its Applications

Cites work

• Conditional rewriting logic as a unified model of concurrency
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 1231539 (Why is no real title available?)
• scientific article; zbMATH DE number 1231540 (Why is no real title available?)
• scientific article; zbMATH DE number 1231542 (Why is no real title available?)
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems

Cited in

(33)

• Logical foundations of CafeOBJ
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Actor theories in rewriting logic
• Automata-driven automated induction
• Context-sensitive rewriting strategies
• Twenty years of rewriting logic
• Specification and proof in membership equational logic
• A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
• Structuring theories with implicit morphisms
• Programming and symbolic computation in Maude
• Executable structural operational semantics in Maude
• Generic type-preserving traversal strategies
• A survey of rewriting strategies in program transformation systems
• A logic for rewriting strategies
• Induction for termination with local strategies
• Lazy rewriting and context-sensitive rewriting
• Correct and complete (positive) strategy annotations for \textsf{OBJ}
• Outermost ground termination
• Bigraphs and their algebra
• Towards logical frameworks in the heterogeneous tool set Hets
• Two Decades of Maude
• Using the Maude term rewriting language for agent development with formal foundations
• A scalable module system
• scientific article; zbMATH DE number 1231542 (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?)
• Symbolic analysis of Maude theories with Narval
• Interactive simplifier tracing and debugging in Isabelle
• Rewriting logic as a semantic framework for concurrency: a progress report
• Coinduction for preordered algebra
• An Overview of the Maude Strategy Language and its Applications
• Behavioral abstraction is hiding information
• A \(\rho\)-calculus of explicit constraint application

Describes a project that uses

Uses Software

• UNITY
• 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 Q4222853)