Simple translation of goal-directed evaluation

Research output: Contribution to conferencePaper

7 Scopus citations

Abstract

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)
Pages1-6
Number of pages6
StatePublished - Jan 1 1997
EventProceedings of the 1997 ACM SIGPLAM Conference on Programming Language Design and Implementation, PLDI - Las Vegas, NV, USA
Duration: Jun 15 1997Jun 18 1997

Other

OtherProceedings of the 1997 ACM SIGPLAM Conference on Programming Language Design and Implementation, PLDI
CityLas Vegas, NV, USA
Period6/15/976/18/97

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Simple translation of goal-directed evaluation'. Together they form a unique fingerprint.

Cite this