Roberto Barbuti, Michael Codish Roberto Giacobazzi, Michael Maher...  Home/Search
Context Related
| profs.sci.univr.it/~giaco...alp92.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: profs.sci.univr.it/~giac...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes to specify semantic definitions for Prolog in terms of an oracle which provides information on which clauses are to be applied to resolve a given goal. The approach is quite general. (Update)
Context of citations to this paper: More
...together with auxiliary lemmata, have been moved to the appendix. This paper is an extended and revised version of [Barbuti, Codish, Giacobazzi and Maher 92] in particular the ideas of [Barbuti, Codish, Giacobazzi and Maher 92] are reported in Sections 3 and 4.1. 2...
...We first consider the linear execution of logic program like Prolog. A model of linear execution is provided as a transition system in [20], which is a pair .X; R consisting of a set X of states and a transition relation R# X#X on states. Definition 9 [20] Let P be a logic...
Cited by: More
Observable Behaviors and Equivalences of Logic Programs - Gabbrielli, Levi, Meo (1992) (Correct)
Modelling Prolog Control - Barbuti, Codish, Giacobazzi, Levi (1992) (Correct)
Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
Similar documents (at the sentence level):
9.3%: Oracle Semantics for Prolog - Barbuti, Codish (1992) (Correct)
Active bibliography (related documents): More All
0.3: S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (Correct)
0.2: A Logical Semantics for Depth-First Prolog with Ground Negation - Andrews (1993) (Correct)
0.2: Modelling OR-parallel Execution of Prolog using CHOCS - Barbuti, De Francesco, Santone (1995) (Correct)
Similar documents based on text: More All
0.3: Algebraic Computational Models of OR-Parallel Execution of .. - Barbuti, De Francesco, al. (Correct)
0.2: A General Framework for Semantics-based Bottom-up.. - Barbuti, Giacobazzi.. (1993) (Correct)
0.2: Towards a Logical Semantics for Pure Prolog - Barbuti, De Francesco.. (1998) (Correct)
Related documents from co-citation: More All
10: Declarative modeling of the operational behavior of logic languages (context) - Falaschi, Levi et al. - 1989
9: Bottomup Abstract Interpretation of Logic Programs (context) - Codish, Dams et al. - 1990
8: Introduction to logic programming (context) - Apt - 1990
BibTeX entry: (Update)
R. Barbuti, M. Codish, R. Giacobazzi, and M. Maher. Oracle semantics for Prolog. In H. Kirchner and G. Levi, editors, Proceedings of the Third International Conference on Algebraic and Logic Programming, Lecture Notes in Computer Science 632, pages 100--114. Springer Verlag, 1992. http://citeseer.ist.psu.edu/barbuti92oracle.html More
@inproceedings{ barbuti92oracle,
author = "R. Barbuti and M. Codish and R. Giacobazzi and M. Maher",
title = "Oracle {S}emantics for {PROLOG}",
booktitle = "Third Conference on Algebraic Logic Programming",
volume = "632",
publisher = "Springer Verlag",
address = "Voltera, Italy",
editor = "H. Kirchner and G. Levi",
pages = "100--114",
year = "1992",
url = "citeseer.ist.psu.edu/barbuti92oracle.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, Michaylov et al. - 1991
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
70 A Semantics-based Framework for the Abstract Interpretation .. (context) - Jones, Sndergaard - 1987
59 Studies in Pure Prolog: Termination (context) - Apt, Pedreschi - 1990
49 Denotational and Operational Semantics for Prolog - Debray, Mishra - 1987
48 Stepwise Development of Operational and Denotational Semanti.. (context) - Jones, Mycroft - 1984
48 A logical operational semantics of full prolog (context) - Borger - 1990
42 Fully abstract compositional semantics for logic programs (context) - Gaifman, Shapiro - 1989
41 Proving Termination of General Prolog Programs (context) - Apt, Pedreschi - 1991
36 Contributions to the Semantics of Open Logic Programs (context) - Bossi, Gabbrielli et al. - 1992
25 Unfolding Rules and Fixpoint Semantics (context) - Levi - 1988
25 Fixpoint Semantics for Partial Computed Answer Substitutions.. (context) - Gabbrielli, Meo - 1992
24 Operational and Denotational Semantics of Prolog (context) - Arbab, Berry - 1987
24 Modelling Prolog Control - Barbuti, Codish et al. - 1992
17 Characterization of Terminating Logic Programs (context) - Vasak, Potter - 1986
17 the safe termination of PROLOG programs (context) - Apt, Bol et al. - 1989
13 Continuation semantics for Prolog with cut - de Bruin, de Vink - 1989
11 Finite failures and partial computations in concurrent logic.. (context) - Falaschi, Levi - 1990
5 Deriving Termination Proofs for Logic Programs (context) - Vershaetse, De Shreye - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://profs.sci.univr.it/~giaco/papers.html): More
A Characterization of Symmetric Semantics By Domain.. - Giacobazzi, Mastroeni (2000) (Correct)
Incompleteness, Counterexamples and Refinements in Abstract.. - Giacobazzi, al. (Correct)
Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (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