by Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
http://www.iasi.rm.cnr.it/~proietti/papers/FioPetPro_AGP02.ps.gz
Add To MetaCart
Abstract:
Abstract. When specializing programs one can increase eciency by reducing nondeterminism. We consider constraint logic programs and we propose a technique which, by making use of a new transformation rule called clause splitting, allows us to generate ecient, specialized programs which are deterministic. We have applied our technique to the specialization of pattern matching programs. 1
Citations
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
655
|
Constraint Logic Programming: A Survey
– Jaffar, Maher
- 1994
|
|
552
|
Partial evaluation and automatic program generation
– Jones, Gomard, et al.
- 1993
|
|
529
|
A transformation system for developing recursive programs
– Burstall, Darlington
- 1977
|
|
447
|
Fast pattern matching in strings
– Knuth, Morris, et al.
- 1977
|
|
387
|
Logic programming
– Apt
- 1990
|
|
231
|
C.: Partial Evaluation in Logic Programming
– Lloyd, Shepherdson
- 1991
|
|
212
|
Sato T.: Unfold/Fold Transformations of Logic Programs
– Tamaki
- 1984
|
|
144
|
Tutorial on specialisation of logic programs
– Gallagher
- 1993
|
|
141
|
The concept of a supercompiler
– Turchin
- 1986
|
|
67
|
Incremental Analysis of Constraint Logic Programs
– Hermenegildo, Puebla, et al.
- 1996
|
|
67
|
Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree
– Gluck, Klimov
- 1993
|
|
51
|
Generalized partial computation
– Futamura, Nogi
|
|
33
|
Conjunctive partial deduction: Foundations, control, algorithms and experiments
– Schreye, Glück, et al.
- 1999
|
|
31
|
Reducing nondeterminism while specializing logic programs
– Pettorossi, Proietti, et al.
- 1997
|
|
25
|
Transforming constraint logic programs. Theoretical Computer Science
– Bensaou, Guessarian
- 1998
|
|
25
|
Transformations of CLP modules
– Etalle, Gabbrielli
- 1996
|
|
22
|
Partial evaluation of pattern matching in constraint logic programming languages
– Smith
- 1991
|
|
13
|
An algorithm for partial evaluation with constraints
– Fujita
- 1987
|
|
9
|
Controlling generalization and polyvariance in partial deduction of normal logic programs
– Leuschel, Martens, et al.
- 1998
|
|
8
|
Automated strategies for specializing constraint logic programs
– Fioravanti, Pettorossi, et al.
- 2000
|
|
8
|
Unfold/fold transformations for de clause programs
– Gergatsoulis, Katzouraki
- 1994
|
|
5
|
OFAI clp(q,r) manual, Edition 1.3.2
– Holzbaur
- 1995
|
|
4
|
MAP: A system for transforming constraint logic programs. Available at http://www.iasi.rm.cnr.it/~fioravan
– Fioravanti
- 2001
|
|
2
|
Specialization with clause splitting for deriving deterministic constraint logic programs
– Fioravanti, Pettorossi, et al.
- 2002
|
