Compiling collapsing rules in certain constructor systems

DOI10.1007/978-3-319-27436-2_4MaRDI QIDQ5743585zbMATH OpenOpenAlexFDO

Authors Sergio Antoy, Andy Jost

Publication date 5 February 2016

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://pdxscholar.library.pdx.edu/compsci_fac/137

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Needed computations shortcutting needed steps
• Implementing first-order rewriting with constructor systems
• Lazy context cloning for non-deterministic graph rewriting
• Collapsed tree rewriting: Completeness, confluence, and modularity
• Compiling a functional logic language: \textit{The Fair Scheme}

Cites work

• Bisimilarity in term graph rewriting.
• Essentials of term graph rewriting
• Evaluation strategies for functional logic programming
• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 1088020 (Why is no real title available?)
• scientific article; zbMATH DE number 1361483 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• scientific article; zbMATH DE number 234035 (Why is no real title available?)
• Inductively Sequential Term-Graph Rewrite Systems
• LEAN: An intermediate language based on graph rewriting
• Programming with narrowing: a tutorial
• The integration of functions into logic programming: From theory to practice
• The Mechanical Evaluation of Expressions

Cited in

(3)

• On the Correctness of Bubbling
• Needed computations shortcutting needed steps
• Constructions of copy rules

Describes a project that uses

Uses Software

• DACTL
• Curry
• PAKCS

This page was built for publication: Compiling collapsing rules in certain constructor systems

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