A unifying approach to goal-directed evaluation

DOI10.1007/BF03037259MaRDI QIDQ5957058zbMATH OpenFDO

Authors Olivier Danvy, Bernd Grobauer, Morten Rhiger

Publication date 10 October 2002

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF03037259

zbMATH Keywords

code generationcomputational monadspartial evaluation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 2036333
• scientific article; zbMATH DE number 1487847
• Topics in semantics-based program manipulation
• Evaluation strategies for monadic computations
• A computational formalization for partial evaluation

Cites work

• Comprehending monads
• Definitional interpreters for higher-order programming languages
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Implementing SNOBOL4 pattern matching in Icon
• The Evaluation of Expressions in Icon

Cited in

(3)

• scientific article; zbMATH DE number 1722709 (Why is no real title available?)
• scientific article; zbMATH DE number 2036333 (Why is no real title available?)
• scientific article; zbMATH DE number 1794202 (Why is no real title available?)

Describes a project that uses

Uses Software

• OCaml
• Prolog

This page was built for publication: A unifying approach to goal-directed evaluation

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