A Fully Abstract Semantics for Constructor Systems

DOI10.1007/978-3-642-02348-4_23MaRDI QIDQ3636832zbMATH OpenOpenAlexFDO

Authors F. J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Publication date 30 June 2009

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02348-4_23

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1722708
• Implementing first-order rewriting with constructor systems
• A compact fixpoint semantics for term rewriting systems
• Rewriting and narrowing for constructor systems with call-time choice semantics
• Completeness of combinations of constructor systems

Cites work

• Abstract diagnosis of functional programs
• An approach to declarative programming based on a rewriting logic
• An evaluation semantics for narrowing-based functional logic languages
• scientific article; zbMATH DE number 1729952 (Why is no real title available?)
• scientific article; zbMATH DE number 3763271 (Why is no real title available?)
• scientific article; zbMATH DE number 512906 (Why is no real title available?)
• scientific article; zbMATH DE number 1088020 (Why is no real title available?)
• scientific article; zbMATH DE number 234027 (Why is no real title available?)
• Improving the efficiency of non-deterministic computations
• LCF considered as a programming language
• Multi-paradigm Declarative Languages
• On a Tighter Integration of Functional and Logic Programming
• Rewriting logic: Roadmap and bibliography
• There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations

Cited in

(5)

• A mechanized semantics for C++ object construction and destruction, with applications to resource management
• Transforming functional logic programs into monadic functional programs
• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
• Completeness of combinations of constructor systems
• A compact fixpoint semantics for term rewriting systems

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A Fully Abstract Semantics for Constructor Systems

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