Wim Vanhoof, Maurice Bruynooghe  Home/Search
Context
Related
| cs.kuleuven.ac.be/~dtai/p...39701.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: cs.kuleuven.ac.be/...2002E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we develop a bottom-up fixed point semantics for pure Prolog programs containing 1/0 that is -- with respect to a particular query -- equivalent to the operational behaviour of that query. In other words: when the result of the fixed point computation is combined with a particular query, our semantics defines the sequence of answers for that query, as it would be returned by Prolog under its standard execution mechanism. We believe this semantics is well-suited as a basis for... (Update)
Similar documents (at the sentence level):
42.8%: A Fixed Point Semantics for Logic Programs Extended.. - Vanhoof.. (Correct)
Active bibliography (related documents): More All
0.8: Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (Correct)
0.6: Techniques for on- and Off-Line Specialisation of Logic Programs - Vanhoof (Correct)
0.5: Creating Specialised Integrity Checks Through Partial.. - Leuschel, De Schreye (1998) (Correct)
Similar documents based on text: More All
0.6: Bottom-up Partial Deduction of Logic Programs - Vanhoof, De Schreye, Martens (1999) (Correct)
0.5: Binding-Time Analysis for Mercury - Vanhoof, Bruynooghe (1999) (Correct)
0.5: Specialising The Other Way Around - Vanhoof, Martens, De Schreye, De.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ vanhoof-bottomup,
author = "Wim Vanhoof and Maurice Bruynooghe",
title = "Bottom-up Transformation for Programs with Procedural Control",
url = "citeseer.ist.psu.edu/574277.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993 ACM
313 Inductive logic programming: Theory and methods - Muggleton, De Raedt - 1994 DBLP
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991 ACM DBLP
192 Logic programming (context) - Apt - 1990 ACM DBLP
82 semantics approach: Theory and applications (context) - Bossi, Gabbrielli et al. - 1994
57 A compositional semantics for logic programs (context) - Bossi, Gabbrielli et al. - 1994 ACM DBLP
49 Denotational and operational semantics for Prolog - Debray, Mishra - 1988 ACM DBLP
46 Mixtus: An automatic partial evaluator for full prolog (context) - Sahlin - 1993
26 Declarative modeling of the operational behaviour of logic p.. (context) - Falaschi, Levi et al. - 1989
24 Modelling Prolog control - Barbuti, Codish et al. - 1993 ACM DBLP
23 Semantics preserving transformation rules for Prolog (context) - Proietti, Pettorossi - 1991 ACM DBLP
16 the treatment of cuts in Prolog source-level tools (context) - O'Keefe - 1985
15 Specialisation of logic programs: A tutorial (context) - Gallagher - 1993
12 An unfold rule for full Prolog (context) - Prestwich - 1993
8 Compositionality properties of sldderivations - Comini, Meo - 1999
7 Data-driven transformation of meta-interpreters: A sketch (context) - Cosmadopoulos, Sergot et al. - 1991 DBLP
7 Partial Evaluation in Prolog: Some Improvements about Cut (context) - Bugliesi, Russo - 1989 DBLP
6 Tutorial on program specialisation (context) - De Schreye, Leuschel et al. - 1995
6 A framework for bottom up specialisation of logic programs - Vanhoof, De Schreye et al. - 1998 ACM DBLP
6 Proving termination of Prolog programs: A semantic approach (context) - Baudinet - 1992
5 Partial evaluation of the \real thing - Leuschel - 1994
4 Operational and goal-independent denotational semantics for .. - Spoto - 2000
3 Bottom-up partial deduction of logic programs - Vanhoof, De Schreye et al. - 1999 DBLP
3 Static analysis of Prolog with cut (context) - Fil, Rossi - 1993 ACM DBLP
1 Sequence-based abstract interpretation of prolog (context) - Baudouin, Sabina - 2002 ACM DBLP
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2002-E.shtml): More
Web Mining - Kosala, al. (Correct)
Trailing Analysis for HAL - Schrijvers, Banda, Demoen (2002) (Correct)
Reuse of Results in Termination Analysis of Typed.. - Bruynooghe, Codish.. (2002) (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