Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi...  Home/Search
Context Related
| strudel.di.unipi.it/pape...popl92.ps.gz 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: strudel.di.unipi.it/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The goal of this paper is to construct a semantic basis for the abstract interpretation of Prolog programs. Prolog is a well-known logic programming language which applies a depth-first search strategy in order to provide a practical approximation of Horn clause logic. While pure logic programming has clean fixpoint, model-theoretic and operational semantics the situation for Prolog is different. Difficulties in capturing the declarative meaning of Prolog programs have led to various semantic... (Update)
Context of citations to this paper: More
...to show that a number of transformation rules (unfold fold) preserve this semantics. It does not deal with programs containing cuts. In [2], Prolog control is explicitly modelled in a constraint logic language and a declarative and operational semantics is presented. It...
Cited by: More
A Fixed Point Semantics for Logic Programs Extended.. - Vanhoof.. (Correct)
Oracle Semantics for Prolog - Roberto Barbuti Michael (1992) (Correct)
A Generalized Semantics for Constraint Logic Programs - Roberto Giacobazzi Saumya (1992) (Correct)
Similar documents (at the sentence level):
63.3%: Modelling Prolog Control - Barbuti, Codish, Giacobazzi, Levi (1992) (Correct)
Active bibliography (related documents): More All
0.2: A Logical Semantics for Depth-First Prolog with Ground Negation - Andrews (1993) (Correct)
0.1: The Witness Properties and the Semantics of the Prolog Cut - Andrews (1999) (Correct)
0.1: S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (Correct)
Similar documents based on text: More All
0.4: A General Framework for Semantics-based Bottom-up.. - Barbuti, Giacobazzi.. (1993) (Correct)
0.3: Publications in Program Development - June Journal (Correct)
Related documents from co-citation: More All
14: Denotational and Operational Semantics for Prolog - Debray, Mishra - 1988
12: Foundations of Logic Programming (context) - Lloyd - 1987
11: Operational and denotational semantics of Prolog (context) - Arbab, Berry - 1987
BibTeX entry: (Update)
R. Barbuti, M. Codish, R. Giacobazzi, and G. Levi. Modelling Prolog Control. In Proc. Nineteenth Annual ACM Symp. on Principles of Programming Languages, pages 95--104. ACM Press, 1992. http://citeseer.ist.psu.edu/article/barbuti92modelling.html More
@inproceedings{ barbutimodelling,
author = "Roberto Barbuti and Michael Codish and Roberto Giacobazzi and Giorgio Levi",
title = "Modelling {P}rolog Control",
pages = "95--104",
url = "citeseer.ist.psu.edu/article/barbuti92modelling.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990
204 Magic Sets and Other Strange Ways to Implement Logic Program.. (context) - Bancilhon, Maier et al. - 1986
146 Introduction to Logic Programming (context) - Apt - 1990
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
53 Bottomup Abstract Interpretation of Logic Programs (context) - Codish, Dams et al. - 1990
49 Denotational and Operational Semantics for Prolog - Debray, Mishra - 1987
48 A logical operational semantics of full Prolog (context) - Borger - 1990
48 A General Framework for Semantics-based Bottom-up Abstract I.. - Barbuti, Giacobazzi et al. - 1991
48 Stepwise Development of Operational and Denotational Semanti.. (context) - Jones, Mycroft - 1984
41 Proving Termination of General Prolog Programs (context) - Apt, Pedreschi - 1991
37 Abstract Interpretation: Towards the Global Optimization of .. (context) - Bruynooghe, Janssens et al. - 1987
36 Contributions to the Semantics of Open Logic Programs (context) - Bossi, Gabbrielli et al. - 1991
34 Proving Termination of Logic Programs by Exploiting Term Pro.. (context) - Bossi, Cocco et al. - 1991
25 Unfolding Rules and Fixpoint Semantics (context) - Levi - 1988
24 Operational and Denotational Semantics of Prolog (context) - Arbab, Berry - 1987
23 Bottom-up Abstract Interpretation of Logic Programs (context) - Marriott, Sondergaard - 1988
16 Continuation semantics for Prolog with cut - de Bruin, de Vink - 1989
8 Automatic Complexity Analysis of Logic Programs (context) - Debray, Lin - 1991
5 Deriving Termination Proofs for Logic Programs (context) - Vershaetse, De Shreye - 1991
2 volume 446 of Lecture Notes in Artificial Intelligence - sub.. (context) - Plumer, for - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://strudel.di.unipi.it/papers/): More
Properties of the Lattice of Observables in Logic Programming - Amato, Levi (1997) (Correct)
A Reactive Implementation of Pos Using ROBDDs - Bagnara (1996) (Correct)
An OR-Compositional Semantics for Logic Programs - Bossi, GABBRIELLI, LEVI, MEO (1993) (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