Search the dblp DataBase
Maurizio Proietti :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Fabio Fioravanti , Maurizio Proietti Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1999, pp:455-470 [Conf ] Maurizio Proietti , Alberto Pettorossi Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables. [Citation Graph (0, 0)][DBLP ] GULP, 1993, pp:601-616 [Conf ] Maurizio Proietti , Alberto Pettorossi Total correctness of a goal replacement rule based on the unfold/fold proof method. [Citation Graph (0, 0)][DBLP ] GULP-PRODE (1), 1994, pp:203-217 [Conf ] Alberto Pettorossi , Maurizio Proietti Program derivation via list introduction. [Citation Graph (0, 0)][DBLP ] Algorithmic Languages and Calculi, 1997, pp:296-323 [Conf ] Alberto Pettorossi , Maurizio Proietti Program Derivation = Rules + Strategies. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:273-309 [Conf ] Alberto Pettorossi , Maurizio Proietti Perfect Model Checking via Unfold/Fold Transformations. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:613-628 [Conf ] Maurizio Proietti Connections Between Partial Maps Categories and Triops Theory. [Citation Graph (0, 0)][DBLP ] Category Theory and Computer Science, 1987, pp:254-269 [Conf ] Alberto Pettorossi , Maurizio Proietti A Comparative Revisitation of Some Program Transformation Techniques. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Partial Evaluation, 1996, pp:355-385 [Conf ] Alberto Pettorossi , Maurizio Proietti A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Partial Evaluation, 1996, pp:386-408 [Conf ] Alberto Pettorossi , Maurizio Proietti , Valerio Senni Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Transformation Techniques in Software Engineering, 2005, pp:- [Conf ] Maurizio Proietti , Alberto Pettorossi Synthesis of Eureka Predicates for Developing Logic Programs. [Citation Graph (0, 0)][DBLP ] ESOP, 1990, pp:306-325 [Conf ] Alberto Pettorossi , Maurizio Proietti , Sophie Renault How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). [Citation Graph (0, 0)][DBLP ] JICSLP, 1996, pp:539- [Conf ] Alberto Pettorossi , Maurizio Proietti Decidability Results and Characterization of Strategies for the Development of Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1989, pp:539-553 [Conf ] Alberto Pettorossi , Maurizio Proietti , Valerio Senni Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. [Citation Graph (0, 0)][DBLP ] ICLP, 2006, pp:179-195 [Conf ] Maurizio Proietti , Alberto Pettorossi Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. [Citation Graph (0, 0)][DBLP ] ICLP, 1994, pp:714-729 [Conf ] Maurizio Proietti , Alberto Pettorossi Transforming Inductive Definitions. [Citation Graph (0, 0)][DBLP ] ICLP, 1999, pp:486-499 [Conf ] Alberto Pettorossi , Maurizio Proietti Rules and Strategies for Program Transformation. [Citation Graph (0, 0)][DBLP ] Formal Program Development, 1993, pp:263-304 [Conf ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Automated strategies for specializing constraint logic programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2000, pp:- [Conf ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Automated Strategies for Specializing Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR (LNCS 2042: Selected Papers), 2000, pp:125-146 [Conf ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Verification of Sets of Infinite State Processes Using Program Transformation. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2001, pp:111-128 [Conf ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2002, pp:160-181 [Conf ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:291-339 [Conf ] Alberto Pettorossi , Maurizio Proietti Transformation Rules for Logic Programs with Goals as Arguments. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1999, pp:176-195 [Conf ] Alberto Pettorossi , Maurizio Proietti , Sophie Renault Enhancing Partial Deduction via Unfold/Fold Rules. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1996, pp:146-168 [Conf ] Alberto Pettorossi , Maurizio Proietti , Valerio Senni Transformational Verification of Parameterized Protocols Using Array Formulas. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2005, pp:23-43 [Conf ] Maurizio Proietti , Alberto Pettorossi An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] LOPSTR, 1991, pp:126-128 [Conf ] Maurizio Proietti , Alberto Pettorossi Best-first Strategies for Incremental Transformations of Logic Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1992, pp:82-98 [Conf ] Maurizio Proietti , Alberto Pettorossi Synthesis of Programs from Unfold/Fold Proofs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1993, pp:141-158 [Conf ] Alberto Pettorossi , Maurizio Proietti A theory of totally correct logic program transformations. [Citation Graph (0, 0)][DBLP ] PEPM, 2004, pp:159-168 [Conf ] Maurizio Proietti , Alberto Pettorossi Semantics Preserving Transformation Rules for Prolog. [Citation Graph (0, 0)][DBLP ] PEPM, 1991, pp:274-284 [Conf ] Maurizio Proietti , Alberto Pettorossi Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. [Citation Graph (0, 0)][DBLP ] PLILP, 1991, pp:347-358 [Conf ] Alberto Pettorossi , Maurizio Proietti , Sophie Renault Reducing Nondeterminism while Specializing Logic Programs. [Citation Graph (0, 0)][DBLP ] POPL, 1997, pp:414-427 [Conf ] Kung-Kiu Lau , Mario Ornaghi , Alberto Pettorossi , Maurizio Proietti Correctness of Logic Program Transformations Based on Existential Termination. [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:480-494 [Conf ] Alberto Pettorossi , Maurizio Proietti Transformations of Logic Programs with Goals as Arguments [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Alberto Pettorossi , Maurizio Proietti , Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism [Citation Graph (0, 0)][DBLP ] CoRR, 2003, v:0, n:, pp:- [Journal ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Alberto Pettorossi , Maurizio Proietti Rules and Strategies for Transforming Functional and Logic Programs. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:2, pp:360-414 [Journal ] Alberto Pettorossi , Maurizio Proietti Future Directions in Program Transformation. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:4es, pp:171- [Journal ] Alberto Pettorossi , Maurizio Proietti Program Specialization via Algorithmic Unfold/Fold Transformations. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1998, v:30, n:3es, pp:6- [Journal ] Alberto Pettorossi , Maurizio Proietti The List Introduction Strategy for the Derivation of Logic Programs. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 2002, v:13, n:3-5, pp:233-251 [Journal ] Alberto Pettorossi , Maurizio Proietti Program Transformation: Theoretical Foundations and Basic Techniques. Part 1. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2005, v:66, n:4, pp:- [Journal ] Alberto Pettorossi , Maurizio Proietti Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:69, n:1-2, pp:- [Journal ] Maurizio Proietti , Alberto Pettorossi An Abstract Strategy for Transforming Logic Programs. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1993, v:18, n:, pp:267-286 [Journal ] Alberto Pettorossi , Maurizio Proietti Transformation of Logic Programs: Foundations and Techniques. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1994, v:19, n:, pp:261-320 [Journal ] Alberto Pettorossi , Maurizio Proietti Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:41, n:2-3, pp:197-230 [Journal ] Maurizio Proietti , Alberto Pettorossi The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1993, v:16, n:1, pp:123-161 [Journal ] Alberto Pettorossi , Maurizio Proietti , Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:121-210 [Journal ] Alberto Pettorossi , Maurizio Proietti Future Directions in Program Transformation. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 1997, v:32, n:1, pp:99-102 [Journal ] Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti Rules and Strategies for Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal ] Maurizio Proietti , Alberto Pettorossi Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:142, n:1, pp:89-124 [Journal ] Alberto Pettorossi , Maurizio Proietti Transformations of logic programs with goals as arguments. [Citation Graph (0, 0)][DBLP ] TPLP, 2004, v:4, n:4, pp:495-537 [Journal ] Alberto Pettorossi , Maurizio Proietti , Valerio Senni Automatic Correctness Proofs for Logic Program Transformations. [Citation Graph (0, 0)][DBLP ] ICLP, 2007, pp:364-379 [Conf ] The Transformational Approach to Program Development. [Citation Graph (, )][DBLP ] An Open Platform for Business Process Modeling and Verification. [Citation Graph (, )][DBLP ] A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. [Citation Graph (, )][DBLP ] Deciding Full Branching Time Logic by Program Transformation. [Citation Graph (, )][DBLP ] Transformations of Logic Programs on Infinite Lists [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.451secs