 | 2008 |
|---|
| 57 |       | Valerio Senni,
Alberto Pettorossi,
Maurizio Proietti:
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs.
ICLP 2008: 284-300 |
| 56 | | Alberto Pettorossi,
Maurizio Proietti:
Totally correct logic program transformations via well-founded annotations.
Higher-Order and Symbolic Computation 21(1-2): 193-234 (2008) |
| 55 | | Alberto Pettorossi,
Maurizio Proietti:
Totally correct logic program transformations via well-founded annotations.
Higher-Order and Symbolic Computation 21(1-2): 235 (2008) |
| 2007 |
|---|
| 54 | | Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni:
Automatic Correctness Proofs for Logic Program Transformations.
ICLP 2007: 364-379 |
| 2006 |
|---|
| 53 | | Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni:
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.
ICLP 2006: 179-195 |
| 52 | | Alberto Pettorossi,
Maurizio Proietti:
Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2.
Fundam. Inform. 69(1-2): (2006) |
| 2005 |
|---|
| 51 | | Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni:
Transformational Verification of Parameterized Protocols Using Array Formulas.
LOPSTR 2005: 23-43 |
| 50 | | Alberto Pettorossi,
Maurizio Proietti,
Valerio Senni:
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs.
Transformation Techniques in Software Engineering 2005 |
| 49 | | Alberto Pettorossi,
Maurizio Proietti:
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1.
Fundam. Inform. 66(4): (2005) |
| 48 | | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.
Higher-Order and Symbolic Computation 18(1-2): 121-210 (2005) |
| 2004 |
|---|
| 47 | | Alberto Pettorossi,
Maurizio Proietti:
A theory of totally correct logic program transformations.
PEPM 2004: 159-168 |
| 46 | | Fabio Fioravanti,
Alberto Pettorossi,
Maurizio Proietti:
Transformation Rules for Locally Stratified Constraint Logic Programs.
Program Development in Computational Logic 2004: 291-339 |
| 45 | | Fabio Fioravanti,
Alberto Pettorossi,
Maurizio Proietti:
Transformation Rules for Locally Stratified Constraint Logic Programs
CoRR cs.PL/0402048: (2004) |
| 44 |  | Alberto Pettorossi,
Maurizio Proietti:
Transformations of logic programs with goals as arguments.
TPLP 4(4): 495-537 (2004) |
| 2003 |
|---|
| 43 | | Alberto Pettorossi,
Maurizio Proietti:
Transformations of Logic Programs with Goals as Arguments
CoRR cs.PL/0307022: (2003) |
| 42 | | Fabio Fioravanti,
Alberto Pettorossi,
Maurizio Proietti:
Combining Logic Programs and Monadic Second Order Logics by Program Transformation
CoRR cs.PL/0311043: (2003) |
| 41 | | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
CoRR cs.PL/0311044: (2003) |
| 2002 |
|---|
| 40 | | Alberto Pettorossi,
Maurizio Proietti:
Program Derivation = Rules + Strategies.
Computational Logic: Logic Programming and Beyond 2002: 273-309 |
| 39 | | Fabio Fioravanti,
Alberto Pettorossi,
Maurizio Proietti:
Combining Logic Programs and Monadic Second Order Logics by Program Transformation.
LOPSTR 2002: 160-181 |
| 38 | | Alberto Pettorossi,
Maurizio Proietti:
The List Introduction Strategy for the Derivation of Logic Programs.
Formal Asp. Comput. 13(3-5): 233-251 (2002) |
| 2001 |
|---|
| 37 | | Fabio Fioravanti,
Alberto Pettorossi,
Maurizio Proietti:
Verification of Sets of Infinite State Processes Using Program Transformation.
LOPSTR 2001: 111-128 |
| 2000 |
|---|
| 36 | | Alberto Pettorossi,
Maurizio Proietti:
Perfect Model Checking via Unfold/Fold Transformations.
Computational Logic 2000: 613-628 |
| 35 | | Fabio Fioravanti,
Alberto Pettorossi,
Maurizio Proietti:
Automated strategies for specializing constraint logic programs.
LOPSTR 2000 |
| 34 | | Fabio Fioravanti,
Alberto Pettorossi,
Maurizio Proietti:
Automated Strategies for Specializing Constraint Logic Programs.
LOPSTR (LNCS 2042: Selected Papers) 2000: 125-146 |
| 1999 |
|---|
| 33 | | Fabio Fioravanti,
Maurizio Proietti:
Contextual Specialization of Constraint Logic Programs.
APPIA-GULP-PRODE 1999: 455-470 |
| 32 | | Maurizio Proietti,
Alberto Pettorossi:
Transforming Inductive Definitions.
ICLP 1999: 486-499 |
| 31 | | Alberto Pettorossi,
Maurizio Proietti:
Transformation Rules for Logic Programs with Goals as Arguments.
LOPSTR 1999: 176-195 |
| 30 | | Fabio Fioravanti,
Alberto Pettorossi,
Maurizio Proietti:
Rules and Strategies for Contextual Specialization of Constraint Logic Programs.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
| 29 | | Alberto Pettorossi,
Maurizio Proietti:
Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs.
J. Log. Program. 41(2-3): 197-230 (1999) |
| 1998 |
|---|
| 28 | | Alberto Pettorossi,
Maurizio Proietti:
Program Specialization via Algorithmic Unfold/Fold Transformations.
ACM Comput. Surv. 30(3es): 6 (1998) |
| 1997 |
|---|
| 27 | | Alberto Pettorossi,
Maurizio Proietti:
Program derivation via list introduction.
Algorithmic Languages and Calculi 1997: 296-323 |
| 26 | | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Reducing Nondeterminism while Specializing Logic Programs.
POPL 1997: 414-427 |
| 25 | | Alberto Pettorossi,
Maurizio Proietti:
Future Directions in Program Transformation.
SIGPLAN Notices 32(1): 99-102 (1997) |
| 1996 |
|---|
| 24 | | Maurizio Proietti:
Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings
Springer 1996 |
| 23 | | Alberto Pettorossi,
Maurizio Proietti:
A Comparative Revisitation of Some Program Transformation Techniques.
Dagstuhl Seminar on Partial Evaluation 1996: 355-385 |
| 22 | | Alberto Pettorossi,
Maurizio Proietti:
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties.
Dagstuhl Seminar on Partial Evaluation 1996: 386-408 |
| 21 | | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract).
JICSLP 1996: 539 |
| 20 | | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Enhancing Partial Deduction via Unfold/Fold Rules.
LOPSTR 1996: 146-168 |
| 19 | | Alberto Pettorossi,
Maurizio Proietti:
Rules and Strategies for Transforming Functional and Logic Programs.
ACM Comput. Surv. 28(2): 360-414 (1996) |
| 18 | | Alberto Pettorossi,
Maurizio Proietti:
Future Directions in Program Transformation.
ACM Comput. Surv. 28(4es): 171 (1996) |
| 1995 |
|---|
| 17 | | Kung-Kiu Lau,
Mario Ornaghi,
Alberto Pettorossi,
Maurizio Proietti:
Correctness of Logic Program Transformations Based on Existential Termination.
ILPS 1995: 480-494 |
| 16 | | Maurizio Proietti,
Alberto Pettorossi:
Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs.
Theor. Comput. Sci. 142(1): 89-124 (1995) |
| 1994 |
|---|
| 15 | | Maurizio Proietti,
Alberto Pettorossi:
Total correctness of a goal replacement rule based on the unfold/fold proof method.
GULP-PRODE (1) 1994: 203-217 |
| 14 | | Maurizio Proietti,
Alberto Pettorossi:
Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables.
ICLP 1994: 714-729 |
| 13 | | Alberto Pettorossi,
Maurizio Proietti:
Transformation of Logic Programs: Foundations and Techniques.
J. Log. Program. 19/20: 261-320 (1994) |
| 1993 |
|---|
| 12 | | Alberto Pettorossi,
Maurizio Proietti:
Rules and Strategies for Program Transformation.
Formal Program Development 1993: 263-304 |
| 11 | | Maurizio Proietti,
Alberto Pettorossi:
Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables.
GULP 1993: 601-616 |
| 10 | | Maurizio Proietti,
Alberto Pettorossi:
Synthesis of Programs from Unfold/Fold Proofs.
LOPSTR 1993: 141-158 |
| 9 | | Maurizio Proietti,
Alberto Pettorossi:
An Abstract Strategy for Transforming Logic Programs.
Fundam. Inform. 18: 267-286 (1993) |
| 8 | | Maurizio Proietti,
Alberto Pettorossi:
The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction.
J. Log. Program. 16(1): 123-161 (1993) |
| 1992 |
|---|
| 7 | | Maurizio Proietti,
Alberto Pettorossi:
Best-first Strategies for Incremental Transformations of Logic Programs.
LOPSTR 1992: 82-98 |
| 1991 |
|---|
| 6 | | Maurizio Proietti,
Alberto Pettorossi:
An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract).
LOPSTR 1991: 126-128 |
| 5 | | Maurizio Proietti,
Alberto Pettorossi:
Semantics Preserving Transformation Rules for Prolog.
PEPM 1991: 274-284 |
| 4 | | Maurizio Proietti,
Alberto Pettorossi:
Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs.
PLILP 1991: 347-358 |
| 1990 |
|---|
| 3 | | Maurizio Proietti,
Alberto Pettorossi:
Synthesis of Eureka Predicates for Developing Logic Programs.
ESOP 1990: 306-325 |
| 1989 |
|---|
| 2 | | Alberto Pettorossi,
Maurizio Proietti:
Decidability Results and Characterization of Strategies for the Development of Logic Programs.
ICLP 1989: 539-553 |
| 1987 |
|---|
| 1 | | Maurizio Proietti:
Connections Between Partial Maps Categories and Triops Theory.
Category Theory and Computer Science 1987: 254-269 |
