Simple Translation of Goal-Directed Evaluation

Todd A. Proebsting. Simple Translation of Goal-Directed Evaluation. In PLDI. pages 1-6, 1997.

Abstract

Abstract is missing.