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
3041994
Rules and strategies for transforming functional and logic programs
A Pettorossi, M Proietti
ACM Computing Surveys (CSUR) 28 (2), 360-414, 1996
1861996
VeriMAP: A tool for verifying programs through transformations
ED Angelis, F Fioravanti, A Pettorossi, M Proietti
International Conference on Tools and Algorithms for the Construction and …, 2014
822014
A powerful strategy for deriving efficient programs by transformation
A Pettorossi
Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984
771984
Transformation of logic programs
A Pettorossi, M Proietti
Handbook of logic in artificial intelligence and logic programming 5, 697-787, 1998
721998
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
681991
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
661995
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
641999
Semantics preserving transformation rules for Prolog
M Proietti, A Pettorossi
ACM SIGPLAN Notices 26 (9), 274-284, 1991
641991
Verifying CTL properties of infinite state systems by specializing constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
592001
Semantics-based generation of verification conditions via program specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Science of Computer Programming 147, 78-108, 2017
552017
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
541993
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
532013
Transformation rules for locally stratified constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Program Development in Computational Logic, 291-339, 2004
462004
Synthesis of eureka predicates for developing logic programs
M Proietti, A Pettorossi
European Symposium on Programming, 306-325, 1990
461990
Program verification via iterated specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Science of Computer Programming 95, 149-175, 2014
452014
A comparative revisitation of some program transformation techniques
A Pettorossi, M Proietti
Partial Evaluation, 355-385, 1996
451996
Perfect model checking via unfold/fold transformations
A Pettorossi, M Proietti
International Conference on Computational Logic, 613-628, 2000
382000
Relational verification through horn clause transformation
ED Angelis, F Fioravanti, A Pettorossi, M Proietti
International Static Analysis Symposium, 147-169, 2016
372016
Reducing nondeterminism while specializing logic programs
A Pettorossi, M Proietti, S Renault
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
361997
The system can't perform the operation now. Try again later.
Articles 1–20