A. de Bruin, E.P. de Vink  Home/Search
Context Related
Links: ACM | cs.few.eur.nl/pub/doc/webdo...report.ps cs.few.eur.nl/pub/d...eur.cs.89.06.ps.Z few.eur.nl/few/res...rfewcs8906.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 an operational model O and a continuation based denotational model D for a uniform variant of Prolog, including the cut operator. The two semantical definitions make use of higher order transformations F and Y, respectively. We prove O and D equivalent in a novel way by comparing yet another pair of higher order transformations 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... (Update)
Context of citations to this paper: More
.... fragments exist in the literature, realized by different methodologies, such as [Andrews 90, Debray,Mishra 88, de Bruin,de Vink 89, de Bruin,de Vink 90, Jones,Mycroft 84, Kok 90, Martelli,Rossi 86, Nicholson,Foo 89, North 88, Ross,Wilkie 90] It is not at all clear whether or...
.... We show that the technique to prove equivalence of operational and denotational cpo based semantics using retractions, as introduced in [BV] for a sequential backtracking language, can be applied to parallel languages as well. We prove equivalence for a uniform language in...
Cited by: More
Functional Programming with Bananas, Lenses, Envelopes.. - Meijer, Fokkinga.. (1991) (Correct)
Denotational Semantics for Unguarded Recursion: The Demonic Case - de Bruin, de Vink (1990) (Correct)
A Mathematical Definition of Full Prolog - Börger, Rosenzweig (1994) (Correct)
Active bibliography (related documents): More All
0.9: Continuation Semantics for Prolog with Cut - de Bruin, de Vink (1989) (Correct)
0.6: Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
0.3: Transition System Specifications in Stalk Format With.. - van Oostrom, de Vink (1994) (Correct)
Similar documents based on text: More All
0.1: Algebraic Representation of Bisimulation for the tagh-Format - Sokolova, de Vink (Correct)
0.1: Formal Methods for Security Protocols: Three Examples of.. - Cremers, Mauw, de Vink (2003) (Correct)
0.1: Seasonal Adjustment And The Business Cycle In Unemployment - Franses, De Bruin (1999) (Correct)
Related documents from co-citation: More All
3: A Logical Operational Semantics of Full Prolog, Part I: Selection Core and Contr.. (context) - Borger - 1990
2: Programming Calculi Based on Fixed Point Transformations: Semantics and Applicat.. (context) - Ch - 1985
BibTeX entry: (Update)
A.de Bruin, E.P.de Vink, Retractions in comparing Prolog semantics. In: B.rovan (Ed.),Mathematical Foundations of Computer Science 1990 , Springer LNCS 452, 1990, 189-186 http://citeseer.ist.psu.edu/debruin89retractions.html More
@inproceedings{ debruin90retractions,
author = "de Bruin and de Vink",
title = "Retractions in Comparing Prolog Semantics",
booktitle = "{MFCS}: Symposium on Mathematical Foundations of Computer Science",
year = "1990",
url = "citeseer.ist.psu.edu/debruin89retractions.html" }
Citations (may not include all citations):484 A Calculus of Communicating Systems (context) - Milner - 1980
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
29 Algebra of Communicating Processes (context) - Bergstra, Klop - 1986 ACM
21 Contractions in Comparing Concurrency Semantics (context) - Kok, Rutten - 1988 ACM DBLP
16 Continuation Semantics for Prolog with Cut - de Bruin, de Vink - 1989 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
11 Linear Time and Branching Time Semantics for Recursion with .. (context) - de Bakker, Bergstra et al. - 1984 ACM DBLP
7 Processes and the Denotational Semantics of Concurrency (context) - de Bakker, Zucker - 1982 DBLP
7 The Category of Complete Partial Orders: a Tool for Making M.. (context) - Plotkin - 1978
6 Metric Semantics for Concurrency (context) - de Bakker, Ch - 1988 ACM DBLP
6 Programming Calculi Based on Fixed Point Transformations: Se.. (context) - Ch - 1985
5 Comparative Semantics for Prolog with Cut (context) - de Vink - 1988 ACM DBLP
2 On Infinite Computations in Denotational Semantics (context) - de Bakker, Ch et al. - 1983 DBLP
2 Uniform Abstraction, Atomicity and Contractions in the Compa.. (context) - de Bakker, Kok - 1988
1 Proving Termination Properties of Prolog Programs: A Semanti.. (context) - Badinet - 1988 DBLP
1 Applicatons of Compactness in the Smyth Powerdomain of Strea.. (context) - Ch, de Vink - 1988
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