Maurizio Proietti

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

57 EE Valerio Senni, Alberto Pettorossi, Maurizio Proietti: A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. ICLP 2008: 284-300

56 EE 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 EE 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 EE Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Automatic Correctness Proofs for Logic Program Transformations. ICLP 2007: 364-379

2006

53 EE Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP 2006: 179-195

52 EE Alberto Pettorossi, Maurizio Proietti: Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2. Fundam. Inform. 69(1-2): (2006)

2005

51 EE Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Transformational Verification of Parameterized Protocols Using Array Formulas. LOPSTR 2005: 23-43

50 EE 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 EE Alberto Pettorossi, Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 1. Fundam. Inform. 66(4): (2005)

48 EE 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 EE Alberto Pettorossi, Maurizio Proietti: A theory of totally correct logic program transformations. PEPM 2004: 159-168

46 EE Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Locally Stratified Constraint Logic Programs. Program Development in Computational Logic 2004: 291-339

45 EE 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 EE Alberto Pettorossi, Maurizio Proietti: Transformations of Logic Programs with Goals as Arguments CoRR cs.PL/0307022: (2003)

42 EE Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation CoRR cs.PL/0311043: (2003)

41 EE Alberto Pettorossi, Maurizio Proietti, Sophie Renault: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism CoRR cs.PL/0311044: (2003)

2002

40 EE Alberto Pettorossi, Maurizio Proietti: Program Derivation = Rules + Strategies. Computational Logic: Logic Programming and Beyond 2002: 273-309

39 EE Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation. LOPSTR 2002: 160-181

38 EE 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 EE Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Verification of Sets of Infinite State Processes Using Program Transformation. LOPSTR 2001: 111-128

2000

36 EE Alberto Pettorossi, Maurizio Proietti: Perfect Model Checking via Unfold/Fold Transformations. Computational Logic 2000: 613-628

35 EE Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Automated strategies for specializing constraint logic programs. LOPSTR 2000

34 EE 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 EE 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 EE 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 EE 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 EE 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

2008
57	EE	Valerio Senni, Alberto Pettorossi, Maurizio Proietti: A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. ICLP 2008: 284-300
56	EE	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	EE	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	EE	Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Automatic Correctness Proofs for Logic Program Transformations. ICLP 2007: 364-379
2006
53	EE	Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. ICLP 2006: 179-195
52	EE	Alberto Pettorossi, Maurizio Proietti: Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2. Fundam. Inform. 69(1-2): (2006)
2005
51	EE	Alberto Pettorossi, Maurizio Proietti, Valerio Senni: Transformational Verification of Parameterized Protocols Using Array Formulas. LOPSTR 2005: 23-43
50	EE	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	EE	Alberto Pettorossi, Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 1. Fundam. Inform. 66(4): (2005)
48	EE	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	EE	Alberto Pettorossi, Maurizio Proietti: A theory of totally correct logic program transformations. PEPM 2004: 159-168
46	EE	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Locally Stratified Constraint Logic Programs. Program Development in Computational Logic 2004: 291-339
45	EE	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	EE	Alberto Pettorossi, Maurizio Proietti: Transformations of Logic Programs with Goals as Arguments CoRR cs.PL/0307022: (2003)
42	EE	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation CoRR cs.PL/0311043: (2003)
41	EE	Alberto Pettorossi, Maurizio Proietti, Sophie Renault: Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism CoRR cs.PL/0311044: (2003)
2002
40	EE	Alberto Pettorossi, Maurizio Proietti: Program Derivation = Rules + Strategies. Computational Logic: Logic Programming and Beyond 2002: 273-309
39	EE	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation. LOPSTR 2002: 160-181
38	EE	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	EE	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Verification of Sets of Infinite State Processes Using Program Transformation. LOPSTR 2001: 111-128
2000
36	EE	Alberto Pettorossi, Maurizio Proietti: Perfect Model Checking via Unfold/Fold Transformations. Computational Logic 2000: 613-628
35	EE	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti: Automated strategies for specializing constraint logic programs. LOPSTR 2000
34	EE	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	EE	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	EE	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	EE	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	EE	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

Coauthor Index

1 Fabio Fioravanti [30] [33] [34] [35] [37] [39] [42] [45] [46]

2 Kung-Kiu Lau [17]

3 Mario Ornaghi [17]

4 Alberto Pettorossi [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]

5 Sophie Renault [20] [21] [26] [41] [48]

6 Valerio Senni [50] [51] [53] [54] [57]

1	Fabio Fioravanti	[30] [33] [34] [35] [37] [39] [42] [45] [46]
2	Kung-Kiu Lau	[17]
3	Mario Ornaghi	[17]
4	Alberto Pettorossi	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]
5	Sophie Renault	[20] [21] [26] [41] [48]
6	Valerio Senni	[50] [51] [53] [54] [57]