back

Università degli Studi di Roma 'Tor Vergata'


Informatica e Ingegneria dell'Automazione

ff

Prof. Alberto Pettorossi


Pubblicazioni back

  1. Pettorossi, A. and Proietti, M.: "Rules and Strategies for Transforming Functional and Logic Programs" ACM Computing Surveys, Vol. 28, No. 2, June 1996;
  2. 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;
  3. 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;
  4. 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;
  5. 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;
  6. 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;
  7. 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;
  8. 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);
  9. 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;
  10. 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.
  11. 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.
  12. 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)
  13. 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.
Coordinatore:
Prof. Daniel Pierre Bovet


bovet@disp.uniroma2.it back
06/72597389/7390