Searching for authors named "Maurizio Proietti" – sorted by Relevance.
-
The List Introduction Strategy for the Derivation of Logic Programs
- for the Derivation of Logic Programs Alberto Pettorossi 1 and Maurizio Proietti 2 1 Dipartimento di Informatica
- Add To MetaCart
-
Synthesis And Transformation Of Logic Programs Using Unfold/Fold Proofs
- UNFOLD/FOLD PROOFS ALBERTO PETTOROSSI AND MAURIZIO PROIETTI . We present a method for proving properties
- Cited by 21 (7 self) – Add To MetaCart
-
Future Directions in Program Transformation
- @(email omitted); and Maurizio Proietti IASI-CNR, Viale Manzoni 30, 00185 Roma, Italy. proietti@(email omitted); The program
- Cited by 3 (0 self) – Add To MetaCart
-
Perfect Model Checking via Unfold/Fold Transformations
- Perfect Model Checking via Unfold/Fold Transformations Alberto Pettorossi 1 , Maurizio
- Cited by 7 (4 self) – Add To MetaCart
-
Program Derivation = Rules + Strategies
- Program Derivation = Rules + Strategies ? Alberto Pettorossi y and Maurizio Proietti z y DISP
- Cited by 4 (2 self) – Add To MetaCart
-
Developing Correct and Efficient Logic Programs by Transformation
- @(email omitted); Maurizio Proietti IASI-CNR Viale Manzoni 30, 00185 Roma, Italy. proietti@(email omitted); 1 Introduction
- Cited by 2 (0 self) – Add To MetaCart
-
Contextual Specialization of Constraint Logic Programs
- Contextual Specialization of Constraint Logic Programs Fabio Fioravanti, Maurizio Proietti IASI
- Cited by 1 (1 self) – Add To MetaCart
-
Automatic Derivation of Logic Programs by Transformation
- Automatic Derivation of Logic Programs by Transformation Alberto Pettorossi 1 and Maurizio
- Cited by 1 (0 self) – Add To MetaCart
-
Transforming Inductive Definitions
- Transforming Inductive Denitions Maurizio Proietti IASI-CNR Viale Manzoni 30, I-00185 Roma, Italy
- Cited by 2 (1 self) – Add To MetaCart
-
A Comparative Revisitation of Some Program Transformation Techniques
- and Maurizio Proietti 2 1 Department of Informatics, Systems, and Production, University of Roma Tor Vergata
- Cited by 19 (0 self) – Add To MetaCart

