CiteSeer.IST at NUS Home  Related articles for:  Automatic Derivation of Logic Programs by Transformation - Pettorossi, Proietti (2000)   (Correct)

Active bibliography (related documents):
4.7:   Transformation of Logic Programs - Pettorossi, Proietti (1998)   (Correct)
3.7:   Rules and Strategies for Transforming Functional and Logic.. - Pettorossi, Proietti (1996)   (Correct)
2.5:   Program Derivation = Rules + Strategies - Pettorossi, Proietti (2001)   (Correct)
2.1:   Perfect Model Checking via Unfold/Fold Transformations - Pettorossi, Proietti (2000)   (Correct)
2.1:   Synthesis And Transformation Of Logic Programs Using.. - Pettorossi, Proietti (1999)   (Correct)
1.5:   Developing Correct and Efficient Logic Programs by.. - Pettorossi, Proietti (1996)   (Correct)
1.2:   A Comparative Revisitation of Some Program Transformation.. - Pettorossi, Proietti (1996)   (Correct)
1.0:   Transformation Rules for Locally Stratified.. - Fioravanti.. (2004)   (Correct)
0.9:   Advanced Techniques for Logic Program Specialisation - Leuschel (1997)   (Correct)
0.7:   Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997)   (Correct)
0.7:   Program Transformations for Automated Verification of.. - Roychoudhury (1999)   (Correct)
0.6:   Derivation of Efficient Logic Programs by.. - Pettorossi, Proietti, .. (2002)   (Correct)
0.6:   Transformation of Constraint Logic Programs for Software.. - Fioravanti (2002)   (Correct)
0.5:   Inverse Engineering a simple Real Time program - Younger, Ward (1999)   (Correct)
0.5:   Rules and Strategies for Contextual Specialization.. - Fioravanti.. (1999)   (Correct)
0.5:   Schema-Based Logic Program Transformation - Büyükyildiz (1997)   (Correct)
0.5:   A Parameterized Unfold/Fold Transformation.. - Roychoudhury.. (1999)   (Correct)
0.5:   Unfold/Fold Transformations and Loop Optimization of Logic Programs - Debray (1988)   (Correct)
0.5:   A Constraint-based Partial Evaluator for Functional Logic.. - Lafave (1998)   (Correct)
0.5:   Program Derivation With Verified Transformations - A Case Study - Keller, PAIGE (1995)   (Correct)

Similar documents based on text:
0.9:   Transformations of Logic Programs with Goals as Arguments - Pettorossi, Proietti (2002)   (Correct)
0.7:   Combining Logic Programs and Monadic Second Order.. - Fioravanti..   (Correct)
0.6:   Transformation Rules For A Higher Order Logic Programming.. - Pettorossi, Proietti (2000)   (Correct)
0.6:   The List Introduction Strategy for. . . - Pettorossi, Proietti (1998)   (Correct)
0.6:   Program Specialization via Algorithmic Unfold/Fold.. - Pettorossi, Proietti (1998)   (Correct)
0.6:   Design, Implementation, And Use Of The Map Transformation .. - Renault, Pettorossi.. (1998)   (Correct)

No related articles found with co-citation.

CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.