MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Denotational and Operational Semantics for Prolog." – 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

Denotational and operational semantics for prolog
by Saumya K. Debray, Prateek Mishra — 1988 — Journal of Logic Programming
…Denotational and Operational Semantics for Prolog† Saumya K. Debray Department of Computer Science…
Cited by 49 (3 self) – Add To MetaCart

Continuation Semantics for Prolog with Cut
by A. De Bruin, E.P. de Vink — 1989
…, the equivalence of this denotational semantics and an operational semantics for Prolog is a straightforward…
Cited by 25 (5 self) – Add To MetaCart

Continuation Semantics for Prolog with Cut
by De Bruin Faculty, A. De Bruin — 1989
…, the equivalence of this denotational semantics and an operational semantics for Prolog is a straightforward…
Add To MetaCart

Quality Measures and Assurance for AI Software
by John Rushby, Cognitive Systems Ai Magazine, Richard M. Tong, Neville D. Newman, Gary Berg-cross — 1988
…. [56] Saumya K. Debray and Prateek Mishra. Denotational and operation semantics for Prolog. Journal…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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