A. de Bruin, E.P. de Vink  Home/Search
Context Related
Links: ACM DBLP | cs.few.eur.nl/pub/doc/webdo...report.ps cs.few.eur.nl/pub/d...eur.cs.89.03.ps.Z few.eur.nl/few/res...rfewcs8903.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...p.cs.few.eur.nl (more) From: fermivista.math...p.cs.few.eur.nl (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a denotational continuation semantics for Prolog with cut. First a uniform language B is studied, which captures the control flow aspects of Prolog. The denotational semantics for B is proven equivalent to a transition system based operational semantics. The congruence proof relies on the representation of the operational semantics as a chain of approximations and on a convenient induction principle. Finally, we interpret the abstract language B such that we obtain equivalent... (Update)
Context of citations to this paper: More
.... Denotational Approaches Setting aside presentations of operational semantics of depth first Prolog [Llo84, Vod85, DF87, Bor90, dBdV89, Bil90, Har90, And90, Bab91, McB91], most of the previous attempts to characterize depth first Prolog have been metatheoretic or denotational....
...F and Y , that yield F and Y, respectively, by application of a suitable abstraction operator. Section 1 Introduction In [BV] we presented both an operational and a denotational continuation based semantics for the core of Prolog, and we proved these two semantics...
Cited by: More
Modelling Prolog Control - Barbuti, Codish, Giacobazzi, Levi (1992) (Correct)
The Witness Properties and the Semantics of the Prolog Cut - Andrews (1999) (Correct)
Deriving Backtracking Monad Transformers - Hinze (2000) (Correct)
Active bibliography (related documents): More All
0.9: Retractions in Comparing Prolog Semantics - de Bruin, de Vink (1989) (Correct)
0.8: Denotational Semantics for Unguarded Recursion: The Demonic Case - de Bruin, de Vink (1990) (Correct)
0.5: Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
Similar documents based on text: More All
0.2: A Situation Calculus Semantics for the Prolog Cut Operator - Lin (1995) (Correct)
0.1: On Relational Properties of Lumpability - Sokolova, de Vink (2003) (Correct)
0.1: Algebraic Representation of Bisimulation for the tagh-Format - Sokolova, de Vink (Correct)
Related documents from co-citation: More All
14: stepwise development of operational and denotational semantics for Prolog (context) - Jones, Mycroft - 1984
12: Denotational and Operational Semantics for Prolog - Debray, Mishra - 1988
10: Borger E.: A logical operational semantics of full Prolog, Part III: Built-in predicates for files, terms, arithmetic and input-output. In: Moschovakis Y. (ed.), Proceedings Workshop on Logic from Computer Science. Springer MSRI Publications (1989)
BibTeX entry: (Update)
A. de Bruin and E.P. de Vink. Continuation semantics for PROLOG with cut. In J. D ' iaz and F. Orejas, editors, Proceedings of TAPSOFT'89, LNCS 351, Vol.1, pages 178--192. Springer Verlag, 1989. http://citeseer.ist.psu.edu/bruin89continuation.html More
@inproceedings{ debruin89continuation,
author = "Arie de Bruin and Erik P. de Vink",
title = "Continuation Semantics for {PROLOG} with Cut",
booktitle = "{TAPSOFT}, Vol.1",
pages = "178-192",
year = "1989",
url = "citeseer.ist.psu.edu/bruin89continuation.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984 ACM
906 A Structural Approach to Operational Semantics - Plotkin - 1981
346 Denotational Semantics - The Scott-Strachey Approach to Prog.. (context) - Stoy - 1977
248 The Semantics of Predicate Logic as a Programming Language (context) - van Emden, Kowalski - 1976
247 Confluent Reductions: Abstract Properties and Applications t.. (context) - Huet - 1980 ACM DBLP
174 Combinatory Reduction Systems (context) - Klop - 1980
144 Contributions to the Theory of Logic Programming (context) - Apt, van Emden - 1982 ACM DBLP
56 A Theory of Programming Language Semantics (context) - Milne, Strachey - 1976
49 Denotational and Operational Semantics for Prolog - Debray, Mishra - 1988 ACM DBLP
48 Mathematical Theory of Program Correctness (context) - de Bakker - 1980 ACM
48 Stepwise Development of Operational and Denotational Semanti.. (context) - Jones, Mycroft - 1984 DBLP
32 Principles of Programming Languages (context) - Tennent - 1981 ACM
24 Operational and Denotational Semantics of Prolog (context) - Arbab, Berry - 1987 ACM DBLP
21 Contractions in Comparing Concurrency Semantics (context) - Kok, Rutten - 1988 ACM DBLP
16 Logic Programming with Equations (context) - van Emden, Yukawa - 1987 ACM DBLP
15 Algorithm = Logic + Control (context) - Kowalski - 1979 ACM DBLP
14 Contrasting Themes in the Semantics of Imperative Concurrenc.. (context) - de Bakker, Kok et al. - 1986 ACM DBLP
13 Comparative Semantics for Flow of Control in Logic Programmi.. (context) - de Bakker - 1988 ACM DBLP
9 Fully Abstract Denotational Semantics for Concurrent Prolog (context) - Gerth, Codish et al. - 1988
6 Metric Semantics for Concurrency (context) - de Bakker, Ch - 1988 ACM DBLP
5 A Deterministic PROLOG Fixpoint Semantics (context) - Fitting - 1985 DBLP
5 A Compositional Semantics for Concurrent Prolog (context) - Kok - 1988 ACM DBLP
3 Mathematical Semantics of SNOBOL4 (context) - Tennent - 1973 ACM
3 Semantics for Prolog via Term Rewrite Systems (context) - Baeten, Weijland - 1987 ACM DBLP
2 Uniform Abstraction, Atomicity and Contractions in the Compa.. (context) - de Bakker, Kok - 1988 DBLP
2 Transition Systems, Metric Spaces and Ready Sets in the Sema.. (context) - de Bakker, Ch et al. - 1988
2 Experiments with Continuation Semantics: Jumps (context) - de Bruin - 1986
1 Equivalence of an Operational and a Denotational Semantics f.. (context) - de Vink - 1988
1 Formal Description of Programming Concepts - III (context) - Wirsing - 1987
1 A Denotational Semantics for Logic Programming (context) - Frandsen - 1985
1 Une Système de Communication Homme-Machine en Francais (context) - Colmerauer, Kanoui et al. - 1973
1 Logic Programming: the Foundations, the Approach and the Rol.. (context) - Levi - 1986 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.few.eur.nl.html): More
Towards a Proof of the Kahn Principle for Linear Dynamic.. - de Bruin, Nienhuys-Cheng (1994) (Correct)
Unifying LL and LR parsing - Pijls (1993) (Correct)
A Theory of Game Trees, Based on Solution Trees - Pijls, de Bruin (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC