A compact fixpoint semantics for term rewriting systems

DOI10.1016/j.tcs.2010.05.012zbMath1209.68285OpenAlexW2149285895WikidataQ57978160 ScholiaQ57978160MaRDI QIDQ987981

Santiago Escobar, José Iborra, María Alpuente, Marco Comini, Moreno Falaschi

Publication date: 24 August 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.05.012

zbMATH Keywords

operational semanticsdenotational semanticsfunctional programmingterm rewriting systemsfixpoint semanticsgoal-independent semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (3)

An integrated framework for the diagnosis and correction of rule-based programs ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto ⋮ Abstract Diagnosis of First Order Functional Logic Programs

Uses Software

• Haskell
• Maude
• MTT
• TOY

Cites Work

• The rewriting logic semantics project
• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
• Declarative modeling of the operational behavior of logic languages
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Termination of narrowing revisited
• Completeness results for basic narrowing
• Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.
• Abstract Diagnosis of Functional Programs
• Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
• MTT: The Maude Termination Tool (System Description)
• Multi-paradigm Declarative Languages
• The s-semantics approach: Theory and applications
• The integration of functions into logic programming: From theory to practice
• Abstract diagnosis
• Foundations of Software Science and Computation Structures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A compact fixpoint semantics for term rewriting systems