Logic program specialisation

Logic program specialisation (1999)

Cached

Download Links

[www.stups.uni-duesseldorf.de]
[www.stups.uni-duesseldorf.de]

Other Repositories/Bibliography

DBLP

by Michael Leuschel

Venue:	Partial Evaluation: Practice and Theory, LNCS 1706
Citations:	16 - 11 self

BibTeX

@INPROCEEDINGS{Leuschel99logicprogram,
    author = {Michael Leuschel},
    title = {Logic program specialisation},
    booktitle = {Partial Evaluation: Practice and Theory, LNCS 1706},
    year = {1999},
    pages = {155--188},
    publisher = {Springer-Verlag}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

704	Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
375	Deforestation: Transforming programs to eliminate trees - Wadler - 1990
263	R.: Abstract interpretation and application to logic programs - Cousot, Cousot - 1992
230	Partial evaluation in logic programming - Lloyd, Shepherdson - 1991
186	A practical framework for the abstract interpretation of logic programs - Bruynooghe - 1991
155	The concept of a supercompiler - Turchin - 1986
141	Tutorial on specialisation of logic programs - Gallagher - 1993
134	Transformation of logic programs: Foundations and techniques - Pettorossi, Proietti - 1994
114	Deriving Description of Possible Values of Program Variables by Means of Abstract Interpretation - Janssens, Bruynooghe - 1992
96	Fast and precise regular approximations of logic programs - Gallagher, Waal - 1994
73	Global Flow Analysis as a Practical Compilation Tool - Hermenegildo, Warren, et al. - 1992
71	Towards an automated tupling strategy - Chin - 1993
69	N.: A Positive Supercompiler - Glück, Sørensen, et al. - 1996
61	The derivation of an algorithm for program specialisation - Gallagher, Bruynooghe - 1991
57	Controlling generalisation and polyvariance in partial deduction of normal logic programs - Leuschel, Martens, et al. - 1998
48	The ecce partial deduction system and the dppd library of benchmarks. Available via http://www.cs.kuleuven.ac.be/~lpai - Leuschel
45	Partial deduction and driving are equivalent - Glück, Sørensen - 1994
44	Parameterized partial evaluation - Consel, Khoo - 1993
40	Redundant argument filtering of logic programs - Leuschel, Sørensen - 1996
36	Conjunctive partial deduction: Foundations, control, algorithms and experiments - Schreye, Glück, et al. - 1999
35	Most specific logic programs - Marriott, Naish, et al. - 1990
33	De Schreye. Logic program specialisation: How to be more specific - Leuschel, D - 1996
32	The applicability of logic program analysis and transformation to theorem proving - Waal, Gallagher - 1994
32	Controlling conjunctive partial deduction of definite logic programs - Glück, Jørgensen, et al. - 1996
31	de Waal. A conceptual embedding of folding into partial deduction: Towards a maximal integration - Leuschel, Schreye, et al. - 1996
27	Program Specialisation and Abstract Interpretation Reconciled - Leuschel - 1998
26	Conjunctive partial deduction in practice - Jørgensen, Leuschel, et al. - 1996
25	Supporting transformations for the partial evaluation of logic programs - Benkerimi, Hill - 1993
25	Generating transformers for deforestation and supercompilation - Gluck, Jrgensen - 1994
25	Advanced Techniques for Logic Program Specialisation - Leuschel - 1997
25	Metacomputation: Metasystem transitions plus supercompilation - Turchin - 1996
24	Ecological partial deduction: Preserving characteristic trees without constraints - Leuschel - 1995
24	Program transformation with metasystem transitions - Turchin - 1993
22	Combining abstract interpretation and partial evaluation (brief overview - Jones - 1997
21	Schreye. Constrained partial deduction and the preservation of characteristic trees - Leuschel, De - 1998
17	Specialisation of a unification algorithm - Waal, Gallagher - 1991
17	Live-structure dataflow analysis for prolog - Mulkers, Winsborough, et al. - 1994
16	Tupling functions with multiple recursion parameters - Chin, Khoo - 1993
16	de Waal. Deletion of redundant unary type predicates from logic programs - Gallagher, A - 1993
14	Transformation of Left Terminating Programs: The Reordering Problem - Bossi, Cocco, et al. - 1995
13	Abstract Specialization and its Application to Program Parallelization - Puebla, Hermenegildo - 1997
12	Issues in the partial evaluation of meta-interpreters - Owen - 1988
12	Towards integrating partial evaluation in a specialization framework based on generic abstract interpretation - Puebla, Gallagher, et al. - 1997
9	Replacement can Preserve Termination - Bossi, Cocco - 1996
7	Bottom up information propagation for partial deduction - Vanhoof - 1997
4	Vlaminck. Specialising the other way around - Vanhoof, Martens, et al. - 1998