|
М |
Strategical Derivation of Online Programs |
1986 |
Pettorossi A. |
|
|
|
IFIP: TC 2, Working Conf. on Program Specification and Transformation |
09.12.1999 |
|
СТ |
Semantics Preserving Transformation Rules for Prolog |
1991 |
Proietti M., Pettorossi A. |
|
|
|
SIGPLAN Notices |
26.10.1991 |
|
СТ |
Rules and Strategies for Program Transformation |
1993 |
Pettorossi A., Proietti M. |
|
|
|
Lecture Notes in Computer Science |
08.02.1994 |
|
СТ |
Completeness of Some Transformation Strategies for Avoiding Unnecassary Logical Variables |
1994 |
Proietti M., Pettorossi A. |
|
|
|
Logic Programming: Proc. of the Eleventh Intern. Conf. |
01.02.1996 |
|
СТ |
Correctness of Logic Program Transformations Based on Existential Termination |
1995 |
Lau K. -K., Ornaghi M., Pettorossi A., Proietti M. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties |
1996 |
Pettorossi A., Proietti M. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
10.10.1996 |
|
СТ |
A Comparative Revisitation of Some Program Transformation Techniques |
1996 |
Pettorossi A., Proietti M. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
10.10.1996 |
|
СТ |
Future Directions in Program Transformation |
1997 |
Pettorossi A., Proietti M. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
Transformation Rules for Logic Programs with Goals as Arguments |
2000 |
Pettorossi A., Proietti M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.08.2000 |
|
СТ |
Automated Strategies for Specializing Constraint Logic Programs |
2001 |
Fioravanti F., Pettorossi A., Proietti M. |
|
|
|
Lecture Notes in Computer Science |
23.06.2001 |
|
СТ |
Program Derivation = Rules + Strategies |
2002 |
Pettorossi A., Proietti M. |
|
|
|
Lecture Notes in Computer Science |
29.08.2002 |
|
СТ |
Combining Logic Programs and Monadic Second Order Logics by Program Transformation |
2003 |
Fioravanti F., Pettorossi A., Proietti M. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |
|
СТ |
Transformation Rules for Locally Stratified Constraint Logic Programs |
2004 |
Fioravanti F., Pettorossi A., Proietti M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
