Automated Strategies for Specializing Constraint Logic Programs (0)

Cached

Download Links

by Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti
Venue:LOPSTR 2000, LNCS 2042
Citations:9 - 7 self

Documents Related by Co-Citation

641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
147 A System For Specialising Logic Programs – J. P. Gallagher - 1991
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
37 Transformations of CLP Modules – Sandro Etalle, Maurizio Gabbrielli - 1995
1858 Foundation of Logic Programming – J W Lloyd - 1987
241 Partial evaluation in logic programming – J W Lloyd, J C Shepherdson - 1991
418 Logic programming – K Apt - 1990
55 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
26 Solving Coverability Problems of Petri Nets by Partial Deduction – Michael Leuschel, Helko Lehmann - 2000
54 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
213 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
42 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
168 The Concept of a Supercompiler – Valentin F. Turchin - 1986
26 Coverability of reset Petri nets and other well-structured transition systems by partial deduction – Michael Leuschel, Helko Lehmann - 2000
4 OFAI clp(q,r) manual, Edition 1.3.2 – C Holzbaur - 1995
12 Controlling generalization and polyvariance in partial deduction of normal logic programs – Michael Leuschel, Bern Martens, Danny De Schreye - 1998