Simple Translation of Goal-Directed Evaluation

Research output: Contribution to journalArticlepeer-review


This paper presents a simple, powerful and flexible technique for reasoning about and translating the goal-directed evaluation of programming language constructs that either succeed (and generate sequences of values) or fail. The technique generalizes the Byrd Box, a well-known device for describing Prolog backtracking.

Original languageEnglish (US)
Pages (from-to)1-6
Number of pages6
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Issue number5
StatePublished - May 1997

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design


Dive into the research topics of 'Simple Translation of Goal-Directed Evaluation'. Together they form a unique fingerprint.

Cite this