Searching for authors named "Maurizio Proietti" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
