MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Alberto Pettorossi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

25 documents found, showing 1 through 10. Next 10 →

ATOM

The List Introduction Strategy for the Derivation of Logic Programs
by Alberto Pettorossi, Maurizio Proietti — 2002
… for the Derivation of Logic Programs Alberto Pettorossi 1 and Maurizio Proietti 2 1 Dipartimento di Informatica…
Add To MetaCart

Future Directions in Program Transformation
by Alberto Pettorossi, Maurizio Proietti
…Future Directions in Program Transformation Alberto Pettorossi Department of Informatics, Systems…
Cited by 3 (0 self) – Add To MetaCart

Perfect Model Checking via Unfold/Fold Transformations
by Alberto Pettorossi, Maurizio Proietti — 2000 — In Computational Logic, LNCS 1861
…Perfect Model Checking via Unfold/Fold Transformations Alberto Pettorossi 1 , Maurizio…
Cited by 7 (4 self) – Add To MetaCart

Program Derivation = Rules + Strategies
by Alberto Pettorossi, Maurizio Proietti — 2001 — Computational Logic: Logic Programming and Beyond (Essays in honour of Bob Kowalski, Part I), Lecture Notes in Computer Science 2407
…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
by Alberto Pettorossi, Maurizio Proietti — 1996 — Knowledge Engineering Review
…Developing Correct and Efficient Logic Programs by Transformation Alberto Pettorossi Department…
Cited by 2 (0 self) – Add To MetaCart

Automatic Derivation of Logic Programs by Transformation
by Alberto Pettorossi, Maurizio Proietti — 2000 — Course notes for ESSLLI
…Automatic Derivation of Logic Programs by Transformation Alberto Pettorossi 1 and Maurizio…
Cited by 1 (0 self) – Add To MetaCart

Transforming Inductive Definitions
by Maurizio Proietti, Alberto Pettorossi — 1999
… proietti@(email omitted); Alberto Pettorossi DISP, University of Roma Tor Vergata, Via di Tor Vergata, I…
Cited by 2 (1 self) – Add To MetaCart

A Comparative Revisitation of Some Program Transformation Techniques
by Alberto Pettorossi, Maurizio Proietti — 1996 — Partial Evaluation, Int'l Seminar, Dagstuhl
…A Comparative Revisitation of Some Program Transformation Techniques Alberto Pettorossi 1…
Cited by 19 (0 self) – Add To MetaCart

Transformation of Logic Programs
by Alberto Pettorossi, Maurizio Proietti — 1998 — Handbook of Logic in Artificial Intelligence and Logic Programming
…Transformation of Logic Programs Alberto Pettorossi and Maurizio Proietti Contents 1 Introduction…
Cited by 30 (3 self) – Add To MetaCart

Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization
by Alberto Pettorossi, Maurizio Proietti — 1997 — In Proceedings of the 2nd ACM SIGPLAN Workshop on Continuations
… Alberto Pettorossi Department of Informatics,Systems,and Production, University of Roma II, Via della…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB