Rules and strategies for contextual specialization of constraint logic programs

Electronic Notes in Theoretical Computer Science

Volumn 30, Issue 2, 2000, Pages 129-144

  Fioravanti, Fabio ^a   Pettorossi, Alberto ^b   Proietti, Maurizio ^a  

^a CNR   (Italy)

^b UNIVERSITY OF ROME TOR VERGATA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; CONSTRAINT THEORY; CONTEXT FREE LANGUAGES; EVALUATION;

CONSTRAINT LOGIC PROGRAMS; CONTEXT PROPAGATION STRATEGY; FOLDING RULES; PROGRAM TRANSFORMATION TECHNIQUES;

LOGIC PROGRAMMING;

EID: 0242487625     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80634-6     Document Type: Conference Paper

References (21)

1. Bensaou N., Guessarian I. Transforming constraint logic programs. Theoretical Computer Science. (206):1998;81-125
2. Bossi A., Cocco N., Dulli S. A method for specializing logic programs. ACM Transactions on Programming Languages and Systems. 12:(2):April 1990;253-302
3. Consel C., Khoo S.C. Parameterized partial evaluation. ACM Transactions on Programming Languages and Systems. 15:(3):1993;463-493
4. Etalle S., Gabbrielli M. Transformations of CLP modules. Theoretical Computer Science. 166:1996;101-146
5. Gallagher J.P. Tutorial on specialization of logic programs. In Proceedings of ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, PEPM ′93, Copenhagen, Denmark. 1993;88-98 ACM Press
6. Hickey T.J., Smith D.A. Towards the partial evaluation of CLP languages. In Proceedings ACM Symposium on Partial Evaluation and Semantics Based Program Manipulation, PEPM ′91, New Haven, CT, USA, SIGPLAN Notices, 26, 9. 1991;43-51 ACM Press
7. Jaffar J., Maher M. Constraint logic programming: A survey. Journal of Logic Programming. 19/20:1994;503-581
8. Jaffar J., Maher M., Marriott K., Stuckey P. The semantics of constraint logic programming. Journal of Logic Programming. 37:1998;1-46
9. Jones N.D., Gomard C.K., Sestoft P. Partial Evaluation and Automatic Program Generation. 1993;Prentice Hall
10. M. Leuschel and D. De Schreye. Constrained partial deduction. In B. Freitag F. Bry and D. Seipel, editors, Proceedings of the 12th Workshop Logische Programmierung (WLP′97), pages 116-126, Munich, Germany, September 1997.
11. M. Leuschel and M. H. Sørensen. Redundant argument filtering of logic programs. In J. Gallagher, editor, Logic Program Synthesis and Transformation, Proceedings LoPSTr ′96, Stockholm, Sweden, Lecture Notes in Computer Science 1207, pages 83-103. Springer-Verlag, 1996.
12. Lloyd J.W., Shepherdson J.C. Partial evaluation in logic programming. Journal of Logic Programming. 11:1991;217-242
13. Maher M.J. A transformation system for deductive database modules with perfect model semantics. Theoretical Computer Science. 110:1993;377-403
14. Kim Marriott and Peter J. Stuckey. The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. In Proceedings 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ′93), pages 334-344. ACM Press, 1993.
15. Pettorossi A., Proietti M. A theory of logic program specialization and generalization for dealing with input data properties. Danvy O., Gliick R., Thiemann P. Proceedings of the Dagstuhl Seminar on Partial Evaluation, Lecture Notes in Computer Science 1110. 1996;386-408 Springer-Verlag
16. Pettorossi A., Proietti M. Synthesis and transformation of logic programs using unfold/fold proofs. Journal of Logic Programming. 41:1999;2-3. 197-230
17. Pettorossi A., Proietti M., Renault S. Reducing nondeterminism while specializing logic programs. In Proc. 24-th ACM Symposium on Principles of Programming Languages, Paris, France. 1997;414-427 ACM Press
18. Prestwich S. Online partial deduction of large programs. In Proceedings ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM ′93, Copenhagen, Denmark. 1993;111-118 ACM Press
19. Puebla G., Hermenegildo M. Abstract Multiple Specialization and its Application to Program Parallelization. J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs. 41:(2&3):November 1999;279-316
20. Sahlin D. Mixtus: An automatic partial evaluator for full Prolog. New Generation Computing. 12:1993;7-51
21. Wrzos-Kaminska A. Partial evaluation in constraint logic programming. Ras Z.W., Michalewicz M. Proceedings of the 9th International Symposium on Foundations of Intelligent Systems, Lecture Notes in Computer Science 1079. 1996;98-107 Springer-Verlag, Zakopane, Poland