A. Pettorossi, M. Proietti  Home/Search
Context Related
| iasi.rm.cnr.it/~pr..._Rapporto423.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 an overview of the program transformation methodology, focusing our attention on the so-called `rules + strategies' approach in the case of functional and logic programs. The paper is intended to offer an introduction to the subject. The various techniques we present are illustrated via simple examples. A preliminary version of this report has been published in: Moller, B., Partsch, H., and Schuman, S. (eds.): Formal Program Development. Lecture Notes in Computer Science 755,... (Update)
Cited by: More
Development and Application of Design Transformations in ForSyDe - Ingo Sander Axel (2003) (Correct)
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
Removing Redundant Arguments Automatically - M.Alpuente, S.Escobar, S.Lucas (2004) (Correct)
Active bibliography (related documents): More All
3.7: Automatic Derivation of Logic Programs by Transformation - Pettorossi, Proietti (2000) (Correct)
3.4: Transformation of Logic Programs - Pettorossi, Proietti (1998) (Correct)
0.8: Synthesis And Transformation Of Logic Programs Using.. - Pettorossi, Proietti (1997) (Correct)
Similar documents based on text: More All
2.4: Verification of Sets of Infinite State Processes.. - Fioravanti.. (2001) (Correct)
2.1: Verifying CTL Properties of Infinite State Systems.. - Fioravanti.. (2001) (Correct)
0.5: Transformation Rules For A Higher Order Logic Programming.. - Pettorossi, Proietti (2000) (Correct)
Related documents from co-citation: More All
37: A transformation system for developing recursive programs - Burstall, Darlington - 1977
15: Towards an automated tupling strategy (context) - Chin - 1993
12: Transformation of logic programs: Foundations and techniques (context) - Pettorossi, Proietti - 1994
BibTeX entry: (Update)
A. Pettorossi and M. Proietti. Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys, 28(2):360-- 414, 1996. http://citeseer.ist.psu.edu/pettorossi96rules.html More
@article{ pettorossi96rules,
author = "Alberto Pettorossi and Maurizio Proietti",
title = "Rules and Strategies for Transforming Functional and Logic Programs",
journal = "ACM Computing Surveys",
volume = "28",
number = "2",
pages = "360--414",
year = "1996",
url = "citeseer.ist.psu.edu/pettorossi96rules.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
266 Information and Computation (context) - Coquand, Huet - 1988
224 Partial Evaluation in Logic Programming (context) - Lloyd, Shepherdson - 1991
143 A New Implementation Technique for Applicative Languages (context) - Turner - 1979
139 Fold Transformation of Logic Programs (context) - Tamaki, Sato - 1984
138 Abstract Interpretation of Declarative Languages (context) - Abramsky, Hankin - 1987
133 Mathematical Theory of Computation (context) - Manna - 1974
129 Transformation of Logic Programs: Foundations and Techniques (context) - Pettorossi, Proietti - 1994
121 Logic Programming with Functions and Predicates: The Languag.. (context) - Moreno-Navarro, Rodriguez-Artalejo - 1992
121 Proving and Applying Program Transformation Expressed with S.. (context) - Huet, Lang - 1978
112 Partial Evaluation of Computation Process -- An Approach to .. - Futamura - 1971
84 Lambda Lifting: Transforming Programs to Recursive Equations - Johnsson - 1985
81 The Promotion and Accumulation Strategies in Transformationa.. (context) - Bird - 1984
81 SLOG: A Logic Programming Language Interpreter Based on Clau.. (context) - Fribourg - 1985
79 Logic Programming: Systematic Program Development (context) - Deville - 1990
74 Computer Science Department (context) - Cai, Paige - 1990
70 A Semantics-Based Framework for the Abstract Interpretation .. (context) - Jones, Sndergaard - 1987
67 Program Transformation Systems (context) - Partsch, Steinbruggen - 1983
66 Derivatives of Regular Expressions (context) - Brzozowski - 1964
64 Tabulation Techniques for Recursive Programs (context) - Bird - 1980
56 Projection Factorisations in Partial Evaluation (context) - Launchbury - 1991
55 Safe Fusion of Functional Expressions (context) - Chin - 1992
53 Using Circular Programs to Eliminate Multiple Traversal of D.. (context) - Bird - 1984
51 Automatic Mode Inference for Logic Programs - Debray, Warren - 1988
47 Continuation-based Program Transformation Strategies (context) - Wand - 1980
46 Fundamentals of Deductive Program Synthesis - Manna, Waldinger - 1991
43 Data Structures = Programs (context) - Wirth - 1976
41 Automatic Program Specialization: A ReExamination From Basic.. (context) - Jones - 1987
40 Science of Computer Programming (context) - Smith - 1985
38 Recursive Applicative Program Schemes (context) - Courcelle - 1990
38 Applying Techniques to Skeletons - Sterling, Kirschenbaum - 1993
36 Finite Differencing of Computable Expressions (context) - Paige, Koenig - 1982
36 Schema-based Transformations of Logic Programs - Fuchs, Fromherz - 1992
35 Super-combinators a New Implementation Method for Applicativ.. (context) - Hughes - 1982
35 Specification and Transformation of Programs (context) - Partsch - 1990
33 A Survey and Classification of Some Program Transformation T.. (context) - Feather - 1987
32 Automatic Methods for Program Transformation (context) - Chin - 1990
32 A Transformation System for Deductive Database Modules with .. (context) - Maher - 1993
28 Logic Program Synthesis - Deville, Lau - 1994
28 Automatic Binding Time Analysis for a Typed -calculus (context) - Nielson, Nielson - 1988
28 Fold Transformation of Stratified Programs (context) - Seki - 1991
28 Transformation of Logic Programs into Functional Programs (context) - Reddy - 1984
28 Logimix: A SelfApplicable Partial Evaluator for Prolog (context) - Mogensen, Bondorf - 1993
27 Mixed Computation: Potential Applications and Problems for S.. (context) - Ershov - 1982
25 Program Improvement by Internal Specialization (context) - Scherlis - 1981
24 Fold Transformations of Logic Programs (context) - Gardner, Shepherdson - 1991
24 Preservation of Stronger Equivalence in Unfold/Fold Logic Pr.. (context) - Kawamura, Kanamori - 1988
23 Semantics Preserving Transformation Rules for Prolog (context) - Proietti, Pettorossi - 1991
21 Fold Transformation of General Logic Programs for the Well-f.. (context) - Seki - 1993
21 Listlessness is Better than Laziness (context) - Wadler - 1985
21 Elementary Logic Programs (context) - Tarau, Boyer - 1994
20 Fold Transformation of Normal and Extended Logic Programs (context) - Aravindan, Dung - 1993
20 An Equivalence Preserving First Order Unfold/Fold Transforma.. (context) - Sato - 1992
19 Proving Theorems About LISP Functions - Boyer, Moore - 1975
19 Synthesis of Eureka Predicates for Developing Logic Programs (context) - Proietti, Pettorossi - 1990
17 Fold Transformations and Loop Optimization of Logic Programs (context) - Debray - 1988
17 Journal of Logic Programming (context) - Bruynooghe, De Schreye et al. - 1989
17 Abstract Interpretation and Optimizing Transformations for A.. (context) - Mycroft - 1981
17 Synthesis by Completion (context) - Dershowitz - 1985
16 Some Techniques for Recursion Removal From Recursive Functio.. (context) - Arsac, Kodratoff - 1982
16 Algebraic Properties of Program Integration (context) - Reps - 1990
16 Transforming Normal Programs by Replacement (context) - Bossi, Cocco et al. - 1992
15 Tutorial on Specialization of Logic Programs (context) - Gallagher - 1993
15 Proofs as Programs (context) - Bates, Constable - 1985
15 A System for Assisting Program Transformation (context) - Feather - 1982
14 Two Exercises Found in a Book on Algorithmics (context) - Bird, Meertens - 1987
14 Higher Order Generalization in Program Derivation (context) - Pettorossi, Skowron - 1987
14 Composing Recursive Logic Programs with Clausal Join (context) - Lakhotia, Sterling - 1988
13 POPART: Producer of Parser and Related Tools (context) - Wile - 1982
13 About Transformation System: A Theoretical Study (context) - Kott - 1978
12 Grammar-Related Transformations of Logic Programs (context) - Brough, Hogger - 1991
12 Fold Transformations of Logic Programs Using Extended OLDTba.. (context) - Boulanger, Bruynooghe - 1993
12 FUNLOG: A Computational Model Integrating Logic Programming .. (context) - Subrahmanyam, You - 1986
11 A Semantic Approach to Automatic Program Improvement (context) - Darlington - 1972
11 Partial Parametrization Eliminates Multiple Traversals of Da.. (context) - Takeichi - 1987
11 Notes On Transformation Techniques for Generate and Test Log.. (context) - Seki, Furukawa - 1987
10 Basic Transformation Operations for Logic Programs which Pre.. (context) - Bossi, Cocco - 1993
10 A Simple Calculus for Program Transformation (context) - Pepper - 1987
10 Relations as a Program Development Language (context) - Moller - 1991
10 Total Correctness and Improvement in the Transformation of F.. (context) - Sands - 1994
9 Some Transformations for Developing Recursive Programs (context) - Burstall, Darlington - 1975
9 Construction of Logic Programs Based on Generalized Unfold/F.. (context) - Kanamori, Horiuchi - 1987
9 Methodologies for Transformations and Memoing in Applicative.. (context) - Pettorossi - 1984
9 Lecture Notes in Computer Science (context) - Moller, Partsch et al. - 1993
8 Derivation of Graph and Pointer Algorithms (context) - Moller - 1993
8 Logic Programming with Equations (context) - van Emden, Yukawa - 1987
8 Parallel Algorithm Derivation and Program Transformation (context) - Paige, Reif et al. - 1993
8 Generalization and Program Schemata (context) - Deville, Burnay - 1989
8 An Experimental Program Transformation System (context) - Darlington - 1981
7 Functional Logic Languages (context) - Reddy - 1987
6 Computer Science Department (context) - Burstall - 1991
6 Spes: A System for Logic Program Transformation (context) - Alexandre, Bsaies et al. - 1992
5 A COMPrehensive Algebraic Approach to System Specification a.. (context) - Krieg-Bruckner - 1989
5 Views of Formal Program Development (context) - Boiten - 1990
5 A Complete Semantic Characterization of K-LEAF (context) - Bosco, Giovanetti et al. - 1987
4 Derivation of Programs which Traverse Their Input Data Only .. (context) - Pettorossi - 1987
4 Bottom-Up Computation of Recursive Programs (context) - Berry - 1976
4 Deriving Very Efficient Algorithms for Evaluating Linear Rec.. (context) - Pettorossi, Burstall - 1982
4 the Generic Development Language Deva (context) - Sintzoff, Weber et al. - 1989
3 Special Issue of the Journal of Logic Programming on Abstrac.. (context) - Debray - 1992
3 SchemaBased TodDown Design of Logic Programs Using Abstract .. (context) - Marakakis, Gallagher - 1994
3 The Program Transformation System CIP-S (context) - Bauer, Ehler et al. - 1987
3 A Program Transformation from Equational Programs into Logic.. (context) - Togashi, Noguchi - 1987
3 IEEE Transactions on Software Engineering SE (context) - Wegbreit - 1976
2 Autolap: A System for Transforming Logic Programs (context) - Aerts, Van Besien - 1991
2 Derivation of Logic Programs from Implicit Definition (context) - Kanamori, Maeji - 1986
2 Louvain-la-Neuve (context) - Galmiche, Proofs - 1991
2 on Program Specification and Transformation (context) - Meertens, ed - 1987
2 Using Annotations to Make Recursive Equations Behave (context) - Schwarz - 1982
2 Mechanizing Structural Induction: Part I and II (context) - Aubin - 1979
2 Program Manipulation: to Duplicate is not to Complicate (context) - Chatelin - 1976
1 Thirteenth Annual ACM Symposium on Principles of Programming.. (context) - Jrring, Scherlis - 1986
1 Importing and Exporting Infomation in Program Development (context) - Pettorossi, Proietti - 1987
1 Communicating Agents for Applicative Concurrent Programming (context) - Pettorossi, Skowron - 1982
1 towards Constraint Functional Programming (context) - Darlington, Guo - 1979
1 IFIP TC2 Workshop on Partial and Mixed Computation (context) - Bjrner, Ershov et al. - 1988
1 Lisp to Fortran -- Program Transformation Applied (context) - Boyle - 1984
1 ACM Symposium on Partial Evaluation and Semantics Based Prog.. (context) - Chin - 1993
1 Translation of Logic Programs into Functional Fixpoint Equat.. (context) - Gardarin, Guessarian et al. - 1989
1 Transforming Imperative Programs (context) - Illsley - 1988
1 Nato ASI Series F (context) - Pepper - 1984
1 Conference on Concurrent Systems and Parallel Computation Pr.. (context) - Paterson, Hewitt - 1970
1 Automatic Derivation of Algorithms (context) - Smith - 1993
The graph only includes citing articles where the year of publication is known.
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