See this document in CiteSeerX!

The List Introduction Strategy for the Derivation of Logic Programs (2002)  (Make Corrections)  
Alberto Pettorossi, Maurizio Proietti



  Home/Search   Context   Related

 
View or download:
iasi.rm.cnr.it/~pr...PetPro_FAC02.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  iasi.rm.cnr.it/~proiett...reports (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present a new program transformation strategy based on the introduction of lists. This strategy is an extension of the tupling strategy which is based on the introduction of tuples of xed length. The list introduction strategy overcomes some of the limitations of the tupling strategy and, in particular, it makes it possible to transform general recursive programs into linear recursive ones also in cases when this transformation cannot be performed by the tupling strategy. The linear... (Update)

Active bibliography (related documents):   More   All
2.0:   The List Introduction Strategy for the Derivation of Logic.. - Pettorossi, Proietti   (Correct)
0.7:   The List Introduction Strategy for. . . - Pettorossi, Proietti (1998)   (Correct)
0.5:   Advanced Techniques for Logic Program Specialisation - Leuschel (1997)   (Correct)

Similar documents based on text:   More   All
0.9:   Transformations of Logic Programs with Goals as Arguments - Pettorossi, Proietti (2002)   (Correct)
0.5:   A Comparative Revisitation of Some Program Transformation.. - Pettorossi, Proietti (1996)   (Correct)
0.5:   Synthesis And Transformation Of Logic Programs Using.. - Pettorossi, Proietti (1997)   (Correct)

BibTeX entry:   (Update)

@misc{ pettorossi-list,
  author = "Alberto Pettorossi and Maurizio Proietti",
  title = "The List Introduction Strategy for the Derivation of Logic Programs",
  url = "citeseer.ist.psu.edu/pettorossi02list.html" }
Citations (may not include all citations):
1838   Foundations of Logic Programming (context) - Lloyd - 1987
452   Data Structures and Algorithms (context) - Aho, Hopcroft et al. - 1983
385   A transformation system for developing recursive programs - Burstall, Darlington - 1977
133   Mathematical Theory of Computation (context) - Manna - 1974
94   A deductive approach to program synthesis (context) - Manna, Waldinger - 1980
81   The promotion and accumulation strategies in transformationa.. (context) - Bird - 1984
74   Memo functions and machine learning (context) - Michie - 1968
62   Unfoldfold transformation logic program (context) - Tamaki, fold et al. - 1984
58   Memoing for logic programs (context) - Warren - 1992
54   Rules and strategies for transforming functional and logic p.. - Pettorossi, Proietti - 1996
47   Continuation-based program transformation strategies (context) - Wand - 1980
35   ACM Transactions on Programming Languages and Systems (context) - Paige, Koenig et al. - 1982
33   Dynamic programming via static incrementalization - Liu, Stoller - 1999
30   ACM Transactions on Programming Languages and Systems (context) - Cohen, recursive - 1983
27   A synthesis of several sorting algorithms (context) - Darlington - 1978
18   Selected Writing on Computing: A Personal Perspective (context) - Dijkstra - 1982
17   Journal of Logic Programming (context) - Bruynooghe, De Schreye et al. - 1989
16   Proving and applying program transformations expressed with .. (context) - Huet, Lang - 1978
14   Transformation of logic programs - Pettorossi, Proietti - 1998
14   Two exercises found in a book on algorithmics (context) - Bird, Meertens - 1987
10   Program derivation via list introduction (context) - Pettorossi, Proietti
7   Unfoldfold transformation strati ed program (context) - Unfold, of et al. - 1991
6   The lambda abstraction strategy for program derivation (context) - Pettorossi, Skowron - 1989
6   An automatic difference-list transformation algorithm for Pr.. (context) - Zhang, Grant
3   and use of the MAP transformation system (context) - Renault, Pettorossi et al. - 1998
3   Unfolding-de nition-folding (context) - Proietti, Pettorossi - 1995
3   A transformational method for dynamic-sized tabulation (context) - Chin, Hagiya - 1995
3   IEEE Transactions on Software Engineering SE (context) - Wegbreit, transformation - 1976

Documents on the same site (http://www.iasi.rm.cnr.it/~proietti/reports.html):   More
Program Specialization via Algorithmic Unfold/Fold.. - Pettorossi, Proietti (1998)   (Correct)
Developing Correct and Efficient Logic Programs by.. - Pettorossi, Proietti (1996)   (Correct)
Future Directions in Program Transformation - Pettorossi, Proietti   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC