- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Generalization Strategies for the Verification of Infinite State Systems, Theory and Practice of Logic Programming 13, 175-199, 2013
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Branching Preserving Specialization for Software Model Checking, in the Proceedings of 22nd International Symposium on Logic-Based Program Synhesis and Transformation (LOPSTR 2012), Albert E. ed., 2012
- Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Software Model Checking by Program Specialization, in the Proceedings of 27th Italian Conference on Computational Logic (CILC-2012), CEUR-WS, 857, 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Improving Reachability Analysis of Infinite State Systems by Specialization, Fundamenta Informaticae 119, 281-300, 2012
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Using Real Relaxations During Program Specialization, in: Logic-based Program Synthesis and Transformation, Selected papers, Vidal G. ed., Lecture Notes in Computer Science, 7225, Springer Berlin, Heidelberg, 106-122, 2012
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Constraint-Based Correctness Proofs for Logic Program Transformations, Formal Aspects of Computing 24, 569-594, 2012
- Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti: Synthesizing Concurrent Programs using Answer Set Programming, in the Proceedings of International Workshop on Concurrency, Specification and Programming (CS&P 2011), Pultusk, Poland, 28-30 Sept. 2011, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Controlling Polyvariance for Specialization-Based Verification, in the Proceedings of 26th Italian Conference on Computational Logic (CILC'11), Fioravanti F ed., CEUR-WS, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Improving Reachability Analysis of Infinite State Systems by Specialization, in: Reachability Problems (RP 2011), Delzanno G, Potapov I eds., Lecture Notes in Computer Science, 6945, Springer Berlin Heidelberg, 165-179, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in: Logic-Based Program Synthesis and Transformation, 20th International Symposium, LOPSTR '10, Revised Selected Papers, Alpuente M ed., Lecture Notes in Computer Science, 6564, Springer Berlin Heidelberg, 164-183, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Program Transformation for Development, Verification, and Synthesis of Programs, Intelligenza Artificiale 5, 119-125, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Using Real Relaxations During Program Specialization, in the Proceedings of 21st International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2011), Univ. of Southern Denmark, Odense, Denmark, pp. 96-111, 2011
- Fioravanti F., Maurizio Proietti, Alberto Pettorossi, Valerio Senni: A Constraint-Based Transformation for Verifying Infinite State Systems, IASI-CNR, R. 11-23, 2011
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Constraint-Based Correctness Proofs for Logic Program Transformations, IASI-CNR, R. 11-24, 2011
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Generalization Strategies for the Verification of Infinite State Systems, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in the Proceedings of 20th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, RISC-Linz Report Series No. 10-14., Alpuente M ed., 2010
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: A Transformation Strategy for Verifying Logic Programs on Infinite Lists, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Deciding Full Branching Time Logic by Program Transformation, in: 19th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR '09), Revised Selected Papers, De Schreye D. ed., Lecture Notes in Computer Science, 6037, Springer, 5-21, 2010
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: The Transformational Approach to Program Development, in: A 25 Year Perspective on Logic Programming, Pontelli E., Dovier A. eds., Lecture Notes in Computer Science, 6125, Springer, 112-135, 2010
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Transformations of Logic Programs on Infinite Lists, Theory and Practice of Logic Programming 10, 383-399, 2010
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Deciding Full Branching Time Logic by Program Transformation, in the Proceedings of 19th International Symposium on Logic Program Synthesis and Transformation (LOPSTR 2009), De Schreye D., Quaresma P. eds., 2009
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: The Transformational Approach to Program Development, IASI-CNR, R. 09-06, 2009
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Transformational Verification of Linear Temporal Logic, Electronic Proceedings of the 2009 Italian Conference on Computational Logic (CILC 2009), 24-26 June, 2009, Ferrara, Italy. http://www.ing.unife.it/eventi/cilc09/accepted.shtml, 2009
- Valerio Senni, Alberto Pettorossi, Maurizio Proietti: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, Fundamenta Informaticae 96 (3), 373-393, 2009
- Alberto Pettorossi, Maurizio Proietti: Totally Correct Logic Program Transformations Via Well-Founded Annotations, Higher-Order and Symbolic Computation 21, 193-235, 2008
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism, Henglein F., Danvy O., Pettorossi A., Mairson H. eds., Automatic Program Development, Springer Heidelberg, 130-177, 2008
- Valerio Senni, Alberto Pettorossi, Maurizio Proietti: Folding Transformation Rules for Constraint Logic Programs, Electronic Proceedings of the 2008 Italian Conference on Computational Logic (CILC 2008), 10-12 July, 2008, Perugia, Italy. http://www.dipmat.unipg.it/CILC08/, 2008
- Valerio Senni, Maurizio Proietti, Alberto Pettorossi: A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs, in the Proceedings of 24th International Conference on Logic Programming, Garcia de la Banda M., Pontelli E. eds., Lecture Notes in Computer Science, 5366, pp. 284-300, 2008
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Infinite State Systems by Specializing Constraint Logic Programs, IASI-CNR, R. 657, 2007
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Automatic Correctness Proofs for Logic Program Transformations, in the Proceedings of 23rd International Conference on Logic Programming (ICLP '07), Niemela I., Dahl V. eds., Lecture Notes in Computer Science, 4670, pp. 364-379, Springer, 2007
- Alberto Pettorossi, Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2., Fundamenta Informaticae 69, i-iii, 2006
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs, Electronic Proceedings of the Dagstuhl Seminar 05161, Transformation Techniques in Software Engineering, IBFI, Germany, 2006
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables, in: Proceedings of the 22nd International Conference on Logic Programming (ICLP '06), Etalle S., Truszczynski M. eds., Lecture Notes in Computer Science, 4079, Springer-Verlag, 179-195, 2006
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automatic Proofs of Protocols via Program Transformation., in: Monitoring, Security, and Rescue Techniques in Multiagent Systems, Advances in Soft Computing Series, Skowron A., Dunin-Keplicz B., Jankowski A., Szczuka M. eds., Advances in Soft Computing, 99-116, 2005
- Alberto Pettorossi, Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 1, Fundamenta Informaticae 66, i-iii, 2005
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism, Higher-Order and Symbolic Computation 18 (1-2), 121-210, 2005
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Transformational Verification of Parameterized Protocols Using Array Formulas., in the Proceedings of 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005), Imperial College, London, UK, September 7-9, Hill P.M ed., Lecture Notes in Computer Science, 2005
- Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Verifying parameterized protocols by transforming stratified logic programs, Electronic Proceedings of the Italian Annual Meeting on Computational Logic (CILC'05), June 21-22, Roma, Italy, 2005
- Alberto Pettorossi, Maurizio Proietti: A theory of totally correct logic program transformations, in the Proceedings of 2004 ACM-SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM-SIGPLAN, 2004
- Alberto Pettorossi, Maurizio Proietti: Totally correct logic program transformations using well-founded annotations, in the Proceedings of Italian Conference on Computational Logic, Rossi G.F., Panegai E. eds., Quaderni del Dipartimento di Matematica - Università degli Studi di Parma, 2004
- Alberto Pettorossi, Maurizio Proietti: Transformations of logic programs with goals as arguments, Theory and Practice of Logic Programming 4, 495-537, 2004
- Alberto Pettorossi, Maurizio Proietti, Fioravanti F.: Transformation rules for locally stratified constraint logic programs, in: Program Development in Computational Logic, Bruynooghe M., Lau K.-K. eds., Lecture Notes in Computer Science, 3049, Springer Heidelberg, 291-339, 2004
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation, in: 12th International Symposium on Logic-based Program Develpment and Transformation, Leuschel M. ed., Lecture Notes in Computer Science, 2664, 160-181, 2003
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching, in the Proceedings of AGP'02, 2002 Joint Conference on Declarative Programming, 16 - 18 September 2002, Madrid, Spain, Moreno-Navarro J.J., Marino-Carballo J. eds., 2002
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs, in the Proceedings of SMC'02, 6 - 9 October, 2002, Hammamet, Tunisia, IEEE International Conference on Systems, Man, and Cybernetics, 2002
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Sets of Infinite State Systems Using Program Transformation, in: Logic Based Program Synthesis and Transformation, Pettorossi A. ed., Lecture Notes in Computer Science, 2372, 111-128, 2002
- Alberto Pettorossi, Maurizio Proietti: First Order Predicate Calculus and Logic Programming, Aracne Roma, 2002
- Alberto Pettorossi, Maurizio Proietti: Program Derivation = Rules + Strategies, Lecture Notes in Artificial Intelligence, 2407, 273-309, 2002
- Alberto Pettorossi, Maurizio Proietti: The List Introduction Strategy for the Derivation of Logic Programs, Formal Aspects of Computing 13, 233-251, 2002
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs, Lecture Notes in Computer Science, 2042, Springer-Verlag, 124-146, 2001
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs, in the Proceedings of ACM-Sigplan International Workshop on Verification and Computational Logic, VCL'2001, Florence, Italy, September 4, 2001, pp. 85-96., 2001
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs, Theoretical Computer Science, Electronic Notes 30 (2), 2000
- Alberto Pettorossi, Maurizio Proietti: Perfect Model Checking via Unfold/Fold Transformations, in the Proceedings of First International Conference on Computational Logic, CL'2000, London, 24-28 July, 2000, Lloyd J.W., others eds., Lecture Notes in Artificial Intelligence, 1861, Springer, 613-628, 2000
- Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Logic Programs with Goals as Arguments, in the Proceedings of Logic-based Program Synthesis and Transformation, LOPSTR '99, Venezia, Italy, Bossi A. ed., Lecture Notes in Computer Science, 1817, 2000
- Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs, in the Proceedings of ICLP'99 Workshop on Optimization and Implementation of Declarative Programming Languages, WOID '99, Las Cruces University, New Mexico, USA, December 2--3, Leuschel M. ed., 1999
- Alberto Pettorossi, Maurizio Proietti: Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs, Journal of Logic Programming 41, 197-230, 1999
- Maurizio Proietti, Alberto Pettorossi: Transforming Inductive Definitions, in the Proceedings of 1999 International Conference on Logic Programming, De Schreye D. ed., Logic Programming Series, 1999
- Alberto Pettorossi, Maurizio Proietti: Program Specialization via Algorithmic Unfold/Fold Transformations, ACM Computing Surveys 30, 6-es, 1998
- Alberto Pettorossi, Maurizio Proietti: Transformation of Logic Programs, Hogger C.J., Gabbay D.M., Robinson J.A. eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 5, 697-787, 1998
- Alberto Pettorossi, Maurizio Proietti: Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization, in the Proceedings of 2nd ACM SIGPLAN Workshop on Continuations, ENS, Paris, France, Danvy O. ed., BRICS Notes Series, N6-93-13, 1997
- Alberto Pettorossi, Maurizio Proietti: Future Directions in Program Transformation, in the Proceedings of Workshop on Strategic Directions in Computing Research, MIT, Cambridge, USA, SIGPLAN Notices, 32/1, ACM Press, 99-102, 1997
- Alberto Pettorossi, Maurizio Proietti: Program Derivation via List Introduction, in the Proceedings of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg, France, Bird R., Meertens L.G.L.T. eds., Chapman \& Hall, 296-323, 1997
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Enhancing Partial Deduction via Unfold/Fold Rules, in the Proceedings of Logic Program Synthesis and Transformation, 6th International Workshop, Stockholm, Sweden, Gallagher J. ed., Lecture Notes in Computer Science, 1207, Springer-Verlag, 147-168, 1997
- Alberto Pettorossi, Maurizio Proietti, Renault S.: Reducing Nondeterminism while Specializing Logic Programs, in the Proceedings of 24th ACM Symposium on Principles of Programming Languages, La Sorbonne, Paris, France, SIGPLAN Notices, 1997
- Alberto Pettorossi, Maurizio Proietti: A Comparative Revisitation of Some Program Transformation Techniques, in the Proceedings of Dagstuhl Seminar on Partial Evaluation., Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
- Alberto Pettorossi, Maurizio Proietti: A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties, in the Proceedings of Dagstuhl Seminar on Partial Evaluation, Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
- Alberto Pettorossi, Maurizio Proietti: Developing Correct and Efficient Logic Programs by Transformation, Knowledge Engineering Review 11 (4), 347-360, 1996
- Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Transforming Functional and Logic Programs, ACM Computing Surveys 28 (2), 360-414, 1996
- Alberto Pettorossi, Maurizio Proietti, Renault S.: How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification, in the Proceedings of Joint International Conference and Symposium on Logic Programming, Bonn, Germany, Maher M. ed., Logic Programming Series, 1996
- Lau K.-K., Ornaghi M., Alberto Pettorossi, Maurizio Proietti: Correctness of Logic Program Transformation Based on Existential Termination, in the Proceedings of 1995 International Logic Programming Symposium (ILPS '95), Lloyd J.W. ed., Logic Programming Series, 1995
- Maurizio Proietti, Alberto Pettorossi: Unfolding-Definition-Folding, in this Order, for Avoiding Unnecessary Variables in Logic Programs, Theoretical Computer Science 142 (1), 89-124, 1995
- Alberto Pettorossi, Maurizio Proietti: Transformation of Logic Programs: Foundations and Techniques, Journal of Logic Programming 19--20, 261-320, 1994
- Maurizio Proietti, Alberto Pettorossi: Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables, in the Proceedings of Eleventh International Conference on Logic Programming (ICLP '94), S. Margherita Ligure, Italy, June 13--18, Van Hentenryck P. ed., Logic Programming Series, 1994
- Maurizio Proietti, Alberto Pettorossi: Synthesis of Programs from Unfold/Fold Proofs, in the Proceedings of Logic Program Synthesis and Transformation, LOPSTR '93, Louvain-la-Neuve, Belgium, Deville Y. ed., Workshops in Computing, 1994
- Alberto Pettorossi, Pietropoli E., Maurizio Proietti: The Use of the Tupling Strategy in the Development of Parallel Programs, in: Parallel Algorithm Derivation and Program Transformation, Paige R., Reif J., Wachter R. eds., Kluwer Academic Publishers, 111-151, 1993
- Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Program Transformation, in: Formal Program Development, IFIP TC2/WG2.1 State-of-the-Art Report, Schuman S., Möller B., Partsch H. eds., Lecture Notes in Computer Science, 755, Springer-Verlag, 263-304, 1993
- Maurizio Proietti, Alberto Pettorossi: An Abstract Strategy for Transforming Logic Programs, Fundamenta Informaticae 18 (2--4), 267-282, 1993
- Maurizio Proietti, Alberto Pettorossi: Best-First Strategies for Incremental Transformation of Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, Manchester 1992, Clement T.P., Lau K.-K. eds., Workshops in Computing, 1993
- Maurizio Proietti, Alberto Pettorossi: The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction, Journal of Logic Programming 16 (1--2), 123-161, 1993
- Maurizio Proietti, Alberto Pettorossi: An Automatic Transformation Strategy for Avoiding Unnecessary Variables in Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, Manchester 1991, Lau K.-K., Clement T.P. eds., Workshops in Computing, 1992
- Maurizio Proietti, Alberto Pettorossi: Semantics Preserving Transformation Rules for Prolog, in the Proceedings of ACM Symposium on Partial Evaluation and Semantics Based Program Manipulation, PEPM '91, SIGPLAN Notices, pp. 274-285, 1991
- Maurizio Proietti, Alberto Pettorossi: Unfolding-Definition-Folding, in this Order, for Avoiding Unnecessary Variables in Logic Programs, in: Third International Symposium on Programming Language Implementation and Logic Programming, PLILP '91, Maluszynski J., Wirsing M. eds., Lecture Notes in Computer Science, 528, Springer-Verlag, 347-358, 1991
- Maurizio Proietti, Alberto Pettorossi: Construction of Efficient Logic Programs by Loop Absorption and Generalization, in the Proceedings of Second International Workshop on Metaprogramming in Logic, Meta '90, Bruynooghe M. ed., 57-81, 1990
- Maurizio Proietti, Alberto Pettorossi: Synthesis of Eureka Predicates for Developing Logic Programs, in the Proceedings of Third European Symposium on Programming, ESOP '90, Jones N. ed., Lecture Notes in Computer Science, 432, 1990
- Alberto Pettorossi, Maurizio Proietti: Decidability Results and Characterization of Strategies for the Development of Logic Programs, in the Proceedings of Sixth International Conference on Logic Programming, Levi G., Martelli M. eds., Logic Programming Series, 1989
- Alberto Pettorossi, Maurizio Proietti: Importing and Exporting Information in Program Development, in the Proceedings of IFIP TC2 Working Conference on Partial and Mixed Computation, Björner D., Ershov A.P. eds., North Holland, 405-426, 1988
|
