Robert Glück, Jesper Jørgensen, Bern Martens, Morten H. Sørensen  @ NUS Home/Search
Context Related
| diku.dk/diku/semantics/pa...D268.ps.gz cs.kuleuven.ac.be/pub/logic...cw226.ps Cached: PS.gz PS PDF Image Update Help From: diku.dk/researchgroups/to...1996 (more) From: cs.kuleuven.ac.be/...abstracts.96 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: "Classical" partial deduction, within the framework by Lloyd and Shepherdson, computes partial deduction for separate atoms independently. As a consequence, a number of program optimisations, known from unfold/fold transformations and supercompilation, cannot be achieved. In this paper, we show that this restriction can be lifted through (polygenetic) specialisation of entire atom conjunctions. We present a generic algorithm for such partial deduction and discuss its correctness in an extended... (Update)
Context of citations to this paper: More
.... through shared variables, at the global level (complemented with some renaming to deliver program clauses) Leuschel et al. 1996; Gluck et al. 1996; Leuschel and Srensen 1996; Jrgensen et al. 1996] Apart from this aspect, the conventional control notions described above also...
...strict version below is not transitive. It remains well quasi, though [LMD98] The following de nition is taken from [LM96, LMD98, GJMS96] De nition 36 Let X; Y range over variables, f over functors, and p over predicates. As usual, e 1 e 2 denotes that e 2 is a strict...
Cited by: More
Bottom-up Partial Deduction of Logic Programs - Vanhoof, De Schreye, Martens (1999) (Correct)
Some Achievements and Prospects in Partial Deduction - Leuschel, Martens, De Schreye (1998) (Correct)
Similar documents (at the sentence level):
14.0%: Controlling Conjunctive Partial Deduction - Glück, Jørgensen, Martens.. (1996) (Correct)
5.8%: Conjunctive Partial Deduction: Foundations.. - De Schreye.. (1994) (Correct)
Active bibliography (related documents): More All
0.5: Conjunctive Partial Deduction in Practice - Jørgensen, Leuschel.. (1996) (Correct)
0.3: Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (Correct)
0.2: Convergence of Program Transformers in the Metric Space of Trees - Sørensen (1998) (Correct)
Similar documents based on text: More All
0.5: Logic program specialisation through partial deduction.. - Leuschel, Bruynooghe (2002) (Correct)
0.4: Controlling Generalization and Polyvariance in Partial .. - Leuschel, Martens, De .. (1998) (Correct)
0.3: Partial Deduction and Driving are Equivalent - Glück, Sørensen (1994) (Correct)
Related documents from co-citation: More All
2: Controlling generalisation and polyvariance in partial deduction of normal logic.. - Leuschel, Martens et al. - 1996
2: The ecce partial deduction system and the dppd library of benchmarks (context) - Leuschel - 1996
2: The derivation of an algorithm for program specialisation (context) - Gallagher, Bruynooghe - 1991
BibTeX entry: (Update)
Gl uck, R., Jrgensen, J., Martens, B., and Srensen, M. H. 1996. Controlling conjunctive partial deduction of definite logic programs. In Proceedings PLILP'96, H. Kuchen and S. Swierstra, Eds. LNCS 1140. Springer-Verlag, 152--166. http://citeseer.comp.nus.edu.sg/6545.html More
@misc{ uck96controlling,
author = "G. uck and R. Jrgensen and J. Martens and B. Srensen",
title = "Controlling conjunctive partial deduction of definite logic programs",
text = "Gl uck, R., Jrgensen, J., Martens, B., and Srensen, M. H. 1996. Controlling
conjunctive partial deduction of definite logic programs. In Proceedings
PLILP'96, H. Kuchen and S. Swierstra, Eds. LNCS 1140. Springer-Verlag, 152--166.",
year = "1996",
url = "citeseer.comp.nus.edu.sg/6545.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
788 Rewrite systems - Dershowitz, Jouannaud - 1992
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
385 A transformation system for developing recursive programs - Burstall, Darlington - 1977
224 Partial evaluation in logic programming (context) - Lloyd, Shepherdson - 1991
139 fold transformation of logic programs (context) - Tamaki, Sato - 1984
129 Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
82 Tutorial on specialisation of logic programs (context) - Gallagher - 1993
70 ACM Transactions on Programming Languages and Systems (context) - Turchin, of et al. - 1986
58 Ensuring global termination of partial deduction while allow.. - Martens, Gallagher - 1995
48 A conceptual embedding of folding into partial deduction: To.. (context) - Leuschel, De Schreye et al. - 1996
48 Towards an automated tupling strategy (context) - Chin - 1993
39 Partial evaluation as a means for inferencing data structure.. (context) - Komorowski - 1982
38 Loop checking in partial deduction (context) - Bol - 1993
38 A general criterion for avoiding infinite unfolding during p.. (context) - Bruynooghe, De Schreye et al. - 1992
38 Partial deduction and driving are equivalent - Gluck, Sorensen - 1994
37 Occam's razor in metacomputation: The notion of a perfect pr.. (context) - Gluck, Klimov - 1993
32 ACM Transactions on Programming Languages and Systems (context) - Bossi, Cocco et al. - 1990
30 The algorithm of generalization in the supercompiler (context) - Turchin - 1988
30 Transactions of the American Mathematical Society (context) - Kruskal, the et al. - 1960
30 An algorithm of generalization in positive supercompilation (context) - Sorensen, Gluck
30 Unfolding -- definition -- folding (context) - Proietti, Pettorossi - 1991
24 The loop absorption and the generalization strategies for th.. (context) - Proietti, Pettorossi - 1993
17 A roadmap to metacomputation by supercompilation - Gluck, Sorensen - 1996
4 Program specialisation for logic programs (context) - De Schreye, Leuschel et al.
Documents on the same site (http://www.diku.dk/research-groups/topps/bibliography/1996.html): More
What Not to Do When Writing an Interpreter for Specialisation - Jones (1996) (Correct)
Bootstrapping Higher-Order Program Transformers from.. - Sperber, Glück, Thiemann (1996) (Correct)
Generalized Dominators for Structured Programs - Alstrup, Lauridsen, Thorup (1996) (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.