Fausto Spoto  Home/Search
Context Related
| strudel.di.unipi.it/...jlp.prolog.ps.gz strudel.di.unipi.it/...jlp.prolog.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: In this paper we propose an operational and a denotational semantics for Prolog. We deal with the control rules of Prolog and the cut operator. Our denotational semantics provides a goal-independent semantics. This means that the behaviour of a goal in a program is defined as the evaluation of the goal in the denotation (semantics) of the program. We show how our denotational semantics can be specialised into a computed answer semantics and into a call pattern semantics. Our work provides a... (Update)
Context of citations to this paper: More
...denotational semantics. These two semantics admit a bottom up formulation only. All proofs not contained in this paper can be found in [22]. 2 Related works There exist many formalisations for subsets of Prolog [1,3,9,24,10,11,16,17,21] and even a formalisation for full...
.... a di Pisa spoto di.unipi.it Abstract This paper contains the proofs of the results of [1] not already contained there. We refer to [1] for notation. We define a stronger ordering on trees than . We say that T2 is a blooming of T1 , and we write T1 OE T2 , if and only if...
Cited by: More
A Fixed Point Semantics for Logic Programs Extended.. - Vanhoof.. (Correct)
Bottom-up Transformation for Programs with Procedural Control - Vanhoof, Bruynooghe (Correct)
Operational and Goal-Independent Denotational Semantics for.. - Fausto Spoto (Correct)
Active bibliography (related documents): More All
1.3: A Denotational Semantics for Prolog - Spoto, Levi (Correct)
0.5: Continuations for Parallel Logic Programming - Todoran (2000) (Correct)
0.4: An Algebraic Semantics of Prolog Control - Ross (1992) (Correct)
Similar documents based on text: More All
0.1: Freeness Analysis Through Linear Refinement - Hill, Spoto (1999) (Correct)
0.1: Analysis of Downward Closed Properties of Logic Programs - Hill, Spoto (2000) (Correct)
0.1: An Overview of Class Analyses of Object-oriented Languages - Jensen, Spoto (Correct)
Related documents from co-citation: More All
3: Modelling Prolog Control - Barbuti, Codish et al. - 1992
3: semantics approach: theory and applications (context) - Bossi, Gabbrielli et al. - 1994
3: Denotational and Operational Semantics for Prolog - Debray, Mishra - 1988
BibTeX entry: (Update)
Fausto Spoto. Operational and GoalIndependent Denotational Semantics for Prolog with Cut: Proofs. Available at the web address http://strudel.di.unipi.it/papers/papers.html. http://citeseer.ist.psu.edu/52984.html More
@article{ spoto00operational,
author = "Fausto Spoto",
title = "Operational and Goal-Independent Denotational Semantics for Prolog with Cut",
journal = "Journal of Logic Programming",
volume = "42",
number = "1",
pages = "1--46",
year = "2000",
url = "citeseer.ist.psu.edu/52984.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
218 Abstract Interpretation and Applications to Logic Programs (context) - Cousot, Cousot - 1992
82 semantics approach: Theory and applications (context) - Bossi, Gabbrielli et al. - 1994
49 Denotational and Operational Semantics for Prolog - Debray, Mishra - 1988
48 A Logical Operational Semantics of Full Prolog (context) - Borger - 1990
48 Stepwise Development of Operational and Denotational Semanti.. (context) - Jones, Mycroft - 1984
42 Compositional Analysis of Modular Logic Programs - Codish, Debray et al. - 1993
25 Fixpoint Semantics for Partial Computed Answer Substitutions.. (context) - Gabbrielli, Meo - 1992
24 Modelling Prolog Control - Barbuti, Codish et al. - 1993
18 Goal Independency and Call Patterns in the Analysis of Logic.. - Gabbrielli, Giacobazzi - 1994
18 An Abstract Interpretation Framework which Accurately Handle.. (context) - Le Charlier, Van Hentenryck - 1994
16 Continuation Semantics for Prolog with Cut - de Bruin, de Vink - 1989
9 Fixpoint Semantics for Prolog (context) - Bossi, Bugliesi et al. - 1993
8 Part I and II (context) - Henkin, Monk et al. - 1971
5 A Deterministic Prolog Fixpoint Semantics (context) - Fitting - 1985
4 Operational and GoalIndependent Denotational Semantics for P.. - Spoto
4 An Algebraic Semantics of Prolog Program Termination (context) - Ross, Smaill - 1991
3 Analysis of Pure Prolog Programs - Levi, Micciancio - 1995
2 Comparative Metric Semantics for Commit in Or-Parallel Logic.. - Todoran, den Hartog et al. - 1997
2 Accurate Analysis of Prolog with Cut (context) - Levi, Spoto - 1996
1 Abstract Interpretation of Prolog Programs (context) - Spoto, Levi - 1999
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