BibTeX
@MISC{Proebsting_abstractsimple,
author = {Todd A. Proebsting},
title = {Abstract Simple Translation of Goal-Directed Evaluation},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
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. 1
