Wim Vanhoof, Danny De Schreye, Bern Martens  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/p...20256.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/...1999E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we develop a solid theoretical foundation for a bottom-up program transformation, capable of specialising a logic program with respect to a set of unit clauses. Extending a well-known operator, we define a bottom-up partial deduction operator and prove correctness of the transformation with respect to the S-semantics. We also show how, within this framework, a concrete control strategy can be designed. The transformation can be used as a stand-alone specialisation technique,... (Update)
Context of citations to this paper: More
...Martens. An elaborated version of the PLILP 98 paper was published in the Journal of Functional and Logic Programming (Vanhoof, Schreye, and Martens 1999), while an abstract appeared in the NAIC 98 conference proceedings (Vanhoof, Schreye, and Martens 1998c) An extended...
...deduction query. Partial deduction can also be achieved by propagating information upwards in the program, starting from the unit clauses [9, 26]. In this case, the resulting program is not specialised for a particular query but, due to the upward propagation of information,...
Cited by: More
A Fixed Point Semantics for Logic Programs Extended.. - Vanhoof.. (Correct)
Bottom-up Transformation for Programs with Procedural Control - Vanhoof, Bruynooghe (Correct)
Techniques for on- and Off-Line Specialisation of Logic Programs - Vanhoof (Correct)
Similar documents (at the sentence level):
13.7%: A Framework for Bottom Up Specialisation of Logic Programs - Vanhoof, De Schreye, Martens (1998) (Correct)
Active bibliography (related documents): More All
0.7: Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (Correct)
0.6: Some Achievements and Prospects in Partial Deduction - Leuschel, Martens, De Schreye (1998) (Correct)
0.5: Bottom Up Specialisation: Towards General Foundations - Vanhoof, De Schreye, Martens (Correct)
Similar documents based on text: More All
0.4: Binding-Time Annotations without Binding-Time Analysis - Vanhoof, Bruynooghe (2001) (Correct)
0.3: Bottom-up Specialisation of Logic Programs - Vanhoof, De Schreye, Martens (1998) (Correct)
0.2: A Framework for Bottom-up Specialisation of Logic Programs - Vanhoof, al. (1998) (Correct)
Related documents from co-citation: More All
4: A framework for bottom up specialisation of logic programs - Vanhoof, Schreye et al. - 1998
2: Logic Programming (context) - Apt - 1990
2: Denotational and Operational Semantics for Prolog - Debray, Mishra - 1988
BibTeX entry: (Update)
Vanhoof, W., D. D. Schreye, and B. Martens (1999). Bottom-up partial deduction of logic programs. The Journal of Functional and Logic Programming 1999, 1--33. http://citeseer.ist.psu.edu/vanhoof99bottomup.html More
@article{ vanhoof99bottomup,
author = "Wim Vanhoof and Danny De Schreye and Bern Martens",
title = "Bottom-up Partial Deduction of Logic Programs",
journal = "Journal of Functional and Logic Programming",
volume = "1999",
number = "Special Issue 2",
year = "1999",
url = "citeseer.ist.psu.edu/vanhoof99bottomup.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
788 Rewrite systems - Dershowitz, Jouannaud - 1990
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
67 An algorithm of generalization in positive supercompilation - rensen, Gl - 1995
58 Ensuring global termination of partial deduction while allow.. - Martens, Gallagher - 1995
57 A compositional semantics for logic programs (context) - Bossi, Gabbrielli et al. - 1994
46 Mixtus: An automatic partial evaluator for full Prolog (context) - Sahlin - 1993
44 The derivation of an algorithm for program specialisation (context) - Gallagher, Bruynooghe - 1991
42 Compositional analysis of modular logic programs - Codish, Debray et al. - 1993
37 Global control for partial deduction through characteristic .. (context) - Leuschel, Martens - 1996
32 The ecce partial deduction system and the dppd library of be.. (context) - Leuschel - 1996
30 Controlling generalisation and polyvariance in partial deduc.. - Leuschel, Martens et al. - 1998
29 An introduction to partial deduction (context) - Komorowski - 1992
27 Conjunctive partial deduction: Foundations (context) - De Schreye, Gl et al. - 1999
26 Declarative modeling of the operational behaviour of logic p.. (context) - Falaschi, Levi et al. - 1989
21 Meta interpreters for expert system construction (context) - Sterling, Beer - 1989
19 Online partial deduction of large programs (context) - Prestwich - 1993
17 Program specialisation and abstract interpretation reconcile.. (context) - Leuschel - 1998
13 To parse or not to parse - Vanhoof, Martens - 1997
12 How to control unfolding when specializing interpreters (context) - Lakhotia, Sterling - 1990
8 The Ssemantics approach: Theory and applications - Bossi, Gabbrielli et al. - 1994
8 Synthesis of programs in the partial deduction framework (context) - Komorowski - 1991
7 Creating specialised integrity checks through partial evalua.. - Leuschel, De Schreye - 1998
7 Datadriven transformation of meta-interpreters: A sketch (context) - Cosmadopoulos, Sergot et al. - 1991
6 Specialising the other way around - Vanhoof, Martens et al. - 1998
6 The applicability of logic program analysis and transformati.. - de Waal, Gallagher - 1994
4 A specication of an abstract Prolog machine and its applicat.. (context) - Komorowski - 1981
4 Partial evaluation of a computation process|An approach to a.. (context) - Futamura - 1971
2 Controlling conjunctive partial deduction of denite logic pr.. - Gl, rgensen et al. - 1996
1 procedural and xpoint semantics of logic programs (context) - Denis, Delahaye - 1991
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/1999-E.shtml): More
Simultaneous prediction of multiple chemical parameters .. - Blockeel, Dzeroski.. (1999) (Correct)
Constraint-based Termination Analysis of Logic Programs - Decorte, De Schreye.. (1999) (Correct)
Adaplix: Towards Adaptive Websites - Jacobs (1999) (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