|
- Pettorossi,
A. and Proietti, M.: "Rules and Strategies for Transforming
Functional and Logic Programs" ACM Computing Surveys, Vol.
28, No. 2, June 1996;
- Pettorossi,
A. and Proietti, M.: "A Theory of Logic Program Specialization
and Generalization for Dealing with Input Data Properties"
In: O. Danvy, R. Glueck, and T. Thiemann (eds.), Partial Evaluation,
International Seminar, Dagstuhl Castle, Germany, February 1996,
Lecture Notes in Computer Science 1110, Springer, 1996 pp. 386-408;
- Pettorossi,
A. and Proietti, M.: "A Comparative Revisitation of Some
Program Transformation Strategies" Invited paper. In: O.
Danvy, R. Glueck, and T. Thiemann (eds.), Partial Evaluation,
International Seminar, Dagstuhl Castle, Germany, February 1996,
Lecture Notes in Computer Science 1110, Springer, 1996, pp. 355-385;
- Pettorossi,
A., Proietti, M., and Renault, S.: "Enhancing Partial
Deduction via Unfold/Fold Rules" In: J. Gallagher (Ed.) Logic
Program Synthesis and Transformation. Proceedings of the 6th
International Workshop, LOPSTR'96, Stockholm, Sweden, August 1996,
Lecture Notes in Computer Science 1207, Springer, 1997, pp. 147-168;
- Pettorossi,
A. and Proietti, M.: "Developing Correct and Efficient Logic
Programs by Transformation" Knowledge Engineering Review,
Vol. 11, No. 4, December 1996, pp. 347-360;
- Pettorossi,
A., Proietti, M., and Renault, S.: "Reducing Nondeterminism
while Specializing Logic Programs" In: Proceedings of the
24th ACM Symposium on Principles of Programming Languages (POPL'97),
La Sorbonne, Paris, France, January 15-17, 1997, ACM Press, 1997, pp.
414-427;
- Pettorossi,
A. and Proietti, M.: "Future Directions in Program
Transformation" Position Statement at the Workshop on
Strategic Directions in Computing Research, MIT, Cambridge, MA, USA,
June 14-15, 1996, ACM Sigplan Notices 32/1 (Jan 1997) pp. 99-102. Also
published in: ACM Computing Surveys, 28A(4) (December 1996).
http://www.acm.org/surveys/1996/PettorossiFuture;
- Pettorossi,
A. and Proietti, M.: "Synthesis and Transformation of Logic
Programs Using Unfold/Fold Proofs" R. 457, IASI-CNR, Roma,
Italy, June 1997. (Accepted with minor revision, Journal of Logic
Programming, July 1997);
- Pettorossi,
A. and Proietti, M.: "Program Derivation via List Introduction"
In: R. Bird and L.G.L.T. Meertens (Eds.) Proceedings of the IFIP TC2
Working Conference on Algorithmic Languages and Calculi, Le
Bischenberg, France, February 17-21, 1997, Chapman & Hall, 1997,
pp. 296-323;
- Pettorossi,
A. and Proietti, M."Flexible "Continuations in
Logic Programs via Unfold/Fold Transformations and Goal Generalization"
In: O. Danvy (Ed.) Proceedings of the 2nd ACM SIGPLAN Workshop on
Continuations, January 14, 1997, ENS, Paris (France) 1997, BRICS Notes
Series, N6-93-13, Aahrus, Denmark (December 1996) pp. 9.1-9.22.
- Fioravanti,
F., Pettorossi, A.,
Proietti, M.: Rules and Strategies for Contextual Specialization of
Constraint Logic Programs". In: M. Leuschel (ed.) Proceedings
of the ICLP'99 Workshop on Optimization and Implementation of
Declarative Programming Languages (WOID'99), Las Cruces, New Mexico,
USA, Dec.2-3, 1999,
Electronic Notes in Theoretical Computer Science
30 No. 2 (2000), 16 pages.
- Pettorossi,
A., Proietti, M.: "Perfect Model Checking via Unfold/Fold
Transformations". International Conference on Computational
Logic, CL'2000, London, July 2000. Lecture Notes in Artificial
Intelligence 1861, Springer Verlag, 2000, pp. 613-628. Extended
version: Report n. 513, IASI-CNR, Roma, Italy. (November 1999, revised
September 2000)
- Fioravanti, F.,
Pettorossi, A., Proietti, M.: "Automated Strategies for
Specializing Constraint Logic Programs". Extended Abstract of
Tenth International Workshop on Logic-based Program
Synthesis and Transformation (LOPSTR'2000), London, UK, 24-28
July, 2000, Technical Report UMCS-00-6-1, University of Manchester,
Manchester, UK, 2000, pp. 80-93.
|