Publications of Maurizio Proietti

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Proietti M., in the category Journal Articles (or show them all):   (Items found: 45)


2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2006 | 2005 | 2004 | 2002 | 2000 | 1999 | 1998 | 1996 | 1995 | 1994 | 1993

2020  [top]

2019  [top]

2018  [top]

2017  [top]

2016  [top]

2015  [top]

2014  [top]

2013  [top]

2012  [top]

2011  [top]

2010  [top]

2009  [top]

2008  [top]
  • Pettorossi A., Maurizio Proietti: Totally Correct Logic Program Transformations Via Well-Founded Annotations, Higher-Order and Symbolic Computation 21, 193-235, 2008

2006  [top]
  • Pettorossi A., Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2., Fundamenta Informaticae 69, i-iii, 2006

2005  [top]
  • Pettorossi A., Maurizio Proietti: Program Transformation: Theoretical Foundations and Basic Techniques. Part 1, Fundamenta Informaticae 66, i-iii, 2005
  • Pettorossi A., 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

2004  [top]
  • Pettorossi A., Maurizio Proietti: Transformations of logic programs with goals as arguments, Theory and Practice of Logic Programming 4, 495-537, 2004

2002  [top]
  • Pettorossi A., Maurizio Proietti: The List Introduction Strategy for the Derivation of Logic Programs, Formal Aspects of Computing 13, 233-251, 2002

2000  [top]

1999  [top]
  • Pettorossi A., Maurizio Proietti: Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs, Journal of Logic Programming 41, 197-230, 1999

1998  [top]

1996  [top]
  • Pettorossi A., Maurizio Proietti: Rules and Strategies for Transforming Functional and Logic Programs, ACM Computing Surveys 28 (2), 360-414, 1996
  • Pettorossi A., Maurizio Proietti: Developing Correct and Efficient Logic Programs by Transformation, Knowledge Engineering Review 11 (4), 347-360, 1996

1995  [top]
  • Maurizio Proietti, Pettorossi A.: Unfolding-Definition-Folding, in this Order, for Avoiding Unnecessary Variables in Logic Programs, Theoretical Computer Science 142 (1), 89-124, 1995

1994  [top]

1993  [top]
  • Maurizio Proietti, Pettorossi A.: An Abstract Strategy for Transforming Logic Programs, Fundamenta Informaticae 18 (2--4), 267-282, 1993
  • Maurizio Proietti, Pettorossi A.: 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -