Simple translation of goal-directed evaluation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

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)
Title of host publicationProceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Editors Anon
PublisherACM
Pages1-6
Number of pages6
StatePublished - 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

Fingerprint

Computer programming languages

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Proebsting, T. A. (1997). Simple translation of goal-directed evaluation. In Anon (Ed.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pp. 1-6). ACM.

Simple translation of goal-directed evaluation. / Proebsting, Todd A.

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ed. / Anon. ACM, 1997. p. 1-6.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proebsting, TA 1997, Simple translation of goal-directed evaluation. in Anon (ed.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM, pp. 1-6, Proceedings of the 1997 ACM SIGPLAM Conference on Programming Language Design and Implementation, PLDI, Las Vegas, NV, USA, 6/15/97.
Proebsting TA. Simple translation of goal-directed evaluation. In Anon, editor, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM. 1997. p. 1-6
Proebsting, Todd A. / Simple translation of goal-directed evaluation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). editor / Anon. ACM, 1997. pp. 1-6
@inproceedings{4642bea0e4a041e294891653d483a220,
title = "Simple translation of goal-directed evaluation",
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.",
author = "Proebsting, {Todd A}",
year = "1997",
language = "English (US)",
pages = "1--6",
editor = "Anon",
booktitle = "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)",
publisher = "ACM",

}

TY - GEN

T1 - Simple translation of goal-directed evaluation

AU - Proebsting, Todd A

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030646099&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030646099&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0030646099

SP - 1

EP - 6

BT - Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

A2 - Anon, null

PB - ACM

ER -