A unifying approach to goal-directed evaluation

DOI10.1007/BF03037259zbMath0994.68040MaRDI QIDQ5957058

Olivier Danvy, Bernd Grobauer, Morten Rhiger

Publication date: 10 October 2002

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

zbMATH Keywords

partial evaluationcode generationcomputational monads

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Uses Software

• OCaml
• Prolog

Cites Work

• Unnamed Item
• Unnamed Item
• Definitional interpreters for higher-order programming languages
• Implementing SNOBOL4 pattern matching in Icon
• The Evaluation of Expressions in Icon
• Comprehending monads

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