Follow
Alberto Pettorossi
Alberto Pettorossi
Professor of Computer Science, University of Roma Tor Vergata
Verified email at iasi.cnr.it - Homepage
Title
Cited by
Cited by
Year
Transformation of logic programs: Foundations and techniques
A Pettorossi, M Proietti
The Journal of Logic Programming 19, 261-320, 1994
3231994
Rules and strategies for transforming functional and logic programs
A Pettorossi, M Proietti
ACM Computing Surveys (CSUR) 28 (2), 360-414, 1996
1961996
VeriMAP: A tool for verifying programs through transformations
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
922014
A powerful strategy for deriving efficient programs by transformation
A Pettorossi
Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984
831984
Transformation of logic programs
A Pettorossi, M Proietti
Handbook of logic in artificial intelligence and logic programming 5 (94 …, 1998
761998
Semantics preserving transformation rules for Prolog
M Proietti, A Pettorossi
ACM SIGPLAN Notices 26 (9), 274-284, 1991
701991
Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs
M Proietti, A Pettorossi
Theoretical Computer Science 142 (1), 89-124, 1995
671995
Unfolding—definition—folding, in this order, for avoiding unnecessary variables in logic programs
M Proietti, A Pettorossi
International Symposium on Programming Language Implementation and Logic …, 1991
671991
Synthesis and transformation of logic programs using unfold/fold proofs
A Pettorossi, M Proietti
The Journal of Logic Programming 41 (2-3), 197-230, 1999
661999
Verifying CTL properties of infinite state systems by specializing constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Proc. VCL 1, 85-96, 2001
642001
Generalization strategies for the verification of infinite state systems
F Fioravanti, A Pettorossi, M Proietti, V Senni
Theory and Practice of Logic Programming 13 (2), 175-199, 2013
592013
Semantics-based generation of verification conditions by program specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
582015
The loop absorption and the generalization strategies for the development of logic programs and partial deduction
M Proietti, A Pettorossi
The Journal of Logic Programming 16 (1-2), 123-161, 1993
581993
A comparative revisitation of some program transformation techniques
A Pettorossi, M Proietti
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005
482005
Program verification via iterated specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Science of Computer Programming 95, 149-175, 2014
472014
Transformation rules for locally stratified constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Program Development in Computational Logic: A Decade of Research Advances in …, 2004
472004
Relational verification through horn clause transformation
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
432016
Synthesis of eureka predicates for developing logic programs
M Proietti, A Pettorossi
European Symposium on Programming, 306-325, 1990
431990
Perfect model checking via unfold/fold transformations
A Pettorossi, M Proietti
International Conference on Computational Logic, 613-628, 2000
372000
Transformation of programs and use of tupling strategy
A Pettorossi
Proceedings Informatica 77, 1-6, 1977
361977
The system can't perform the operation now. Try again later.
Articles 1–20