Alberto Pettorossi, Maurizio Proietti  Home/Search
Context
Related
| iasi.rm.cnr.it/~pr...PetPro_FAC02.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iasi.rm.cnr.it/~proiett...reports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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