MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Continuation Semantics for PROLOG with Cut." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Continuation Semantics for Prolog with Cut
by A. De Bruin, E.P. de Vink — 1989
…2. Continuation Semantics for Prolog with Cut A. de Bruin Faculty of Economics, Erasmus…
Cited by 25 (5 self) – Add To MetaCart

Continuation Semantics for Prolog with Cut
by De Bruin Faculty, A. De Bruin — 1989
…2. Continuation Semantics for Prolog with Cut A. de Bruin Faculty of Economics, Erasmus…
Add To MetaCart

Specifying Prolog Trace Models with a Continuation Semantics
by Erwan Jahier, Mireille Ducassé, Olivier Ridoux — 2000 — Lecture Notes in Computer Science: LOPSTR Selected Papers
… and denotational continuation semantics for Prolog with cut. We show how this specification can be extended…
Cited by 3 (0 self) – Add To MetaCart

From Interpreter to Logic Engine by Defunctionalization
by Dariusz Danvy, Biernacki Dariusz, Danvy Olivier, Copyright C, Biernacki Dariusz, Danvy Olivier, Dariusz Biernacki, Olivier Danvy — 2004
… work is de Bruin and de Vink’s continuation semantics for Prolog with cut: • de Bruin and de Vink…
Cited by 13 (8 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB