Michael Leuschel  @ NUS Home/Search
Context Related
| cs.kuleuven.ac.be/...pstr94.leuschel.ps Cached: PS.gz PS PDF Image Update Help From: cs.kuleuven.ac.be/...abstracts.94 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present a partial evaluation scheme for a "real life" subset of Prolog. This subset contains first-order built-in's, simple side-effects and the operational predicate if-then-else. We outline a denotational semantics for this subset of Prolog and show how partial deduction can be extended to specialise programs of this kind. We point out some of the problems not occurring in partial deduction and show how they can be solved in our setting. Finally we provide some results based... (Update)
Context of citations to this paper: More
...specialisation of meta programs. During the last few years many partial evaluators for various subsets of Prolog have been written [93, 36, 78, 62, 88]. Gurr presented a self applicable partial evaluator for Godel in [46] Most of these partial evaluators are based on the...
.... transforming Prolog programs with sideeffects, including cuts, are described in [ Deville, 1990; Sahlin, 1993; Prestwich, 1993b; Leuschel, 1994a ] 4.5 Correctness Results for Normal Programs In this section we consider the case where the bodies of the clauses contain...
Cited by: More
Advanced Techniques for Logic Program Specialisation - Leuschel (1997) (Correct)
A Fixed Point Semantics for Logic Programs Extended.. - Vanhoof.. (Correct)
Bottom-up Transformation for Programs with Procedural Control - Vanhoof, Bruynooghe (Correct)
Active bibliography (related documents): More All
1.0: Creating Specialised Integrity Checks Through Partial.. - Leuschel, De Schreye (1998) (Correct)
1.0: Creating Specialised Integrity Checks Through Partial.. - Leuschel, De Schreye (1998) (Correct)
0.5: Towards Creating Specialised Integrity Checks Through.. - Leuschel, De Schreye (1995) (Correct)
Similar documents based on text: More All
0.1: Some Achievements and Prospects in Partial Deduction - Leuschel, Martens, De Schreye (1998) (Correct)
0.1: Krylov Convergence Acceleration And Domain Decomposition Methods .. - Goossens (2000) (Correct)
0.1: Controlling Generalization and Polyvariance in Partial .. - Leuschel, Martens, De .. (1998) (Correct)
Related documents from co-citation: More All
5: Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
5: Foundations of Logic Programming (context) - Lloyd - 1987
4: An unfold rule for full Prolog (context) - Prestwich - 1992
BibTeX entry: (Update)
M. Leuschel. Partial evaluation of the real thing. In Pre-Proceedings of LOPSTR94. University of Piza, 1994. http://citeseer.comp.nus.edu.sg/1417.html More
@incollection{ leuschel94partial,
author = "Michael Leuschel",
title = "Partial Evaluation of the `Real Thing'",
booktitle = "Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, {LOBSTR}'94 and {META}'94, Pisa, Italy",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "Laurent Fribourg and Franco Turini",
pages = "122--137",
year = "1994",
url = "citeseer.comp.nus.edu.sg/1417.html" }
Citations (may not include all citations):224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
139 fold transformations of logic programs (context) - Tamaki, Sato - 1984
82 Tutorial on specialisation of logic programs (context) - Gallagher - 1993
47 An Automatic Partial Evaluator for Full Prolog - Sahlin - 1991
46 Mixtus: An automatic partial evaluator for full Prolog (context) - Sahlin - 1993
31 Partial evaluation of Prolog programs and its application to.. (context) - Takeuchi, Furukawa - 1986
28 Logimix: A self-applicable partial evaluator for Prolog (context) - Mogensen, Bondorf - 1992
28 A Self-Applicable Partial Evaluator for the Logic Programmin.. (context) - Gurr - 1994
26 Partial evaluation of pattern matching in constraint logic p.. (context) - Smith - 1991
23 Semantics preserving transformation rules for Prolog (context) - Proietti, Pettorossi - 1991
19 Supporting transformations for the partial evaluation of log.. (context) - Benkerimi, Hill - 1993
16 the treatment of cuts in Prolog source-level tools (context) - O'Keefe - 1985
14 Oracle semantics for Prolog - Barbuti, Codish et al. - 1992
13 The PADDY partial deduction system - Prestwich - 1992
12 An unfold rule for full Prolog (context) - Prestwich - 1992
11 An algorithm for partial evaluation with constraints (context) - Fujita - 1987
11 A self-applicable partial evaluator and its use in increment.. (context) - Fujita, Furukawa - 1988
10 Some low-level transformations for logic programs (context) - Gallagher, Bruynooghe - 1990
7 A Specification of an Abstract Prolog Machine and its Applic.. (context) - Komorowksi - 1981
6 Proving termination of Prolog programs: A semantic approach (context) - Baudinet - 1992
5 Self-applicable partial evaluation in Prolog (context) - Leuschel - 1993
Documents on the same site (http://www.cs.kuleuven.ac.be/~lpai/publications/abstracts.94.html):
The Abductive Event Calculus as a General Framework .. - Van Belleghem.. (1994) (Correct)
Representing Continuous Change in the Abductive Event.. - Van Belleghem.. (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.