Implementation of an interpreter for abstract equations

DOI10.1002/SPE.4380151205MaRDI QIDQ3719790zbMATH OpenOpenAlexFDO

Authors Michael J. O'Donnell, Robert Strandh, Christoph M. Hoffmann

Publication date 1985

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380151205

zbMATH Keywords

interpreter for abstract equationslazy evaluationlogic programminglogical semantics of equationssemanticstable-driven pattern matching

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4037157
• scientific article; zbMATH DE number 2227400
• A constraint language and its interpreter
• Logic programming with equations
• Definitional interpreters for higher-order programming languages

Cites work

• Algorithm = logic + control
• Efficient string matching
• scientific article; zbMATH DE number 4037157 (Why is no real title available?)
• Pattern Matching in Trees
• Programming with Equations

Cited in

(9)

• On the correspondence between two classes of reduction systems
• A refinement of strong sequentiality for term rewriting with constructors
• Sequentiality in orthogonal term rewriting systems
• PATTERN MATCHING CODE MINIMIZATION IN REWRITING-BASED PROGRAMMING LANGUAGES
• A constraint language and its interpreter
• scientific article; zbMATH DE number 1248043 (Why is no real title available?)
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• scientific article; zbMATH DE number 2227400 (Why is no real title available?)
• Automated Deduction – CADE-19

This page was built for publication: Implementation of an interpreter for abstract equations

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