Rules and strategies for transforming functional and logic programs

Authors:
Alberto Pettorossi;Maurizio Proietti
Affiliations:
Univ. of Rome Tor Vergata, Rome, Italy;IASI CNR, Rome, Italy
Venue:
ACM Computing Surveys (CSUR)
Year:
1996

Citing 74
Cited 49

The promotion and accumulation strategies in transformational programming

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Proofs as programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
The design of divide and conquer algorithms

Science of Computer Programming
Algorithms & data structures

Algorithms & data structures
Lambda lifting: transforming programs to recursive equations

Proc. of a conference on Functional programming languages and computer architecture
The Munich Project CIP: Volume I: the wide spectrum language CIP-L

The Munich Project CIP: Volume I: the wide spectrum language CIP-L
Partial parametrization eliminates multiple traversals of data structures

Acta Informatica
A survey and classification of some program transformation approaches and techniques

The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Two exercises found in a book on algorithmics

The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
A program transformation from equational programs into logic programs

Journal of Logic Programming
A simple calculus for program transformation (inclusive of induction)

Science of Computer Programming
Logic programming with equations

Journal of Logic Programming
Functional logic languages, Part I

Proc. of a workshop on Graph reduction
Abstract interpretation of declarative languages

Abstract interpretation of declarative languages
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Derivation of efficient programs for computing sequences of actions

Theoretical Computer Science
The calculus of constructions

Information and Computation - Semantics of Data Types
Automatic mode inference for logic programs

Journal of Logic Programming
Automatic binding time analysis for a typed &lgr;-calculus

Science of Computer Programming
Unfold/fold transformations and loop optimization of logic programs

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Composing recursive logic programs with clausal join

New Generation Computing - Special Issue: Selected Papers from the Workshop on Partial Evaluation and Mixed
The/Munich Project CIP

The/Munich Project CIP
Translation of logic programs into functional fixpoint equations

Theoretical Computer Science
Compiling control

Journal of Logic Programming
Higher order generalization in program derivation

II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
Derivation of programs which traverse their input data only once

Advanced Programming Methodologies
Logic programming: systematic program development

Logic programming: systematic program development
Specification and transformation of programs: a formal approach to software development

Specification and transformation of programs: a formal approach to software development
Synthesis of eureka predicates for developing logic programs

Proceedings of the third European symposium on programming on ESOP '90
Algebraic properties of program integration

Proceedings of the third European symposium on programming on ESOP '90
Grammar-related transformations of logic programs

New Generation Computing
Recursive applicative program schemes

Handbook of theoretical computer science (vol. B)
Semantics preserving transformation rules for Prolog

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation in logic programming

Journal of Logic Programming
Unfold/fold transformation of stratified programs

Theoretical Computer Science
Projection factorisations in partial evaluation

Projection factorisations in partial evaluation
Logic programming with functions and predicates: the language Babel

Journal of Logic Programming
Equivalence-preserving first-order unfold/fold transformation systems

Theoretical Computer Science - Selected papers of the Second International Conference on algebraic and logic programming, Nancy, France, October 1–3, 1990
Safe fusion of functional expressions

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A transformation system for deductive database modules with perfect model semantics

Theoretical Computer Science
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation
Tutorial on specialisation of logic programs

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Towards an automated tupling strategy

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation

Journal of Symbolic Computation - Special issue on automatic programming
Applying techniques to skeletons

Constructing logic programs
Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs

PLILP '91 Selected papers of the symposium on Programming language implementation and logic programming
Derivatives of Regular Expressions

Journal of the ACM (JACM)
Proving Theorems about LISP Functions

Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
Continuation-Based Program Transformation Strategies

Journal of the ACM (JACM)
Derivation of Logic Programs

Journal of the ACM (JACM)
Tabulation Techniques for Recursive Programs

ACM Computing Surveys (CSUR)
Program Transformation Systems

ACM Computing Surveys (CSUR)
A System for Assisting Program Transformation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Techniques for Recursion Removal from Recursive Functions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite Differencing of Computable Expressions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Compilers and staging transformations

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program Transformation and Programming Environments

Program Transformation and Programming Environments
Introduction to Mathematical Theory of Computation

Introduction to Mathematical Theory of Computation
Program improvement by internal specialization

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development

Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
Spes: A System for Logic Program Transformation

LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Transforming Normal Programs by Replacement

META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Elementary Logic Programs

PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Automating the Design of Algorithm

Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
Communicating agents for applicative concurrent programming

Proceedings of the 5th Colloquium on International Symposium on Programming
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types

LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Derivation of Graph and Pointer Algorithms

Proceedings of the IFIP TC2/WG 2.1 State-of-the-Art Report on Formal Program Development
Super-combinators a new implementation method for applicative languages

LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Some transformations for developing recursive programs

Proceedings of the international conference on Reliable software
Listlessness is better than laziness: an algorithm that transforms applicative programs to eliminate intermediate lists

Listlessness is better than laziness: an algorithm that transforms applicative programs to eliminate intermediate lists
Transforming imperative programs (transformation rule)

Transforming imperative programs (transformation rule)

Semantics-preserving procedure extraction

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From recursion to iteration: what are the optimizations?

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
On the roles of functions and objects in system specification

CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Transformation based communication and clock domain refinement for system design

Proceedings of the 39th annual Design Automation Conference
Automatic generation of efficient string matching algorithms by generalized partial computation

ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Design patterns for functional strategic programming

Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Towards generic refactoring

Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Program transformation system based on generalized partial computation

New Generation Computing - Partial evaluation and program transformation
Predictive Software

Automated Software Engineering
Dynamic Programming via Static Incrementalization

Higher-Order and Symbolic Computation
Software as Learning: Quality Factors and Life-Cycle Revised

FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Dynamic Programming via Static Incrementalization

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Automatic Optimization of Multi-paradigm Declarative Programs

IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Program Derivation = Rules + Strategies

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Grammar Adaptation

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Computer aided fusion for algebraic program derivation

Nordic Journal of Computing
Optimizing Ackermann's function by incrementalization

Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
WSDFU: program transformation system based on generalized partial computation

The essence of computation
Verification of design decisions in ForSyDe

Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
A Survey of Software Refactoring

IEEE Transactions on Software Engineering
Rules + strategies for transforming lazy functional logic programs

Theoretical Computer Science
Detection of Redundant Code Using R2D2

Software Quality Control
Development and Application of Design Transformations in ForSyDe

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Transformation Rules and Strategies for Functional-Logic Programs: Thesis

AI Communications - CASC
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1: Preface

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Point-free Program Transformation

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Removing redundant arguments automatically

Theory and Practice of Logic Programming
Loop detection in term rewriting using the eliminating unfoldings

Theoretical Computer Science
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding

Electronic Notes in Theoretical Computer Science (ENTCS)
Development of a distributed system applied to teaching and learning

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference

Journal of Artificial Intelligence Research
Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality

Electronic Notes in Theoretical Computer Science (ENTCS)
Unfolding-based Improvements on Fuzzy Logic Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
A fold/unfold transformation framework for rewrite theories extended to CCT

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
On fuzzy unfolding: A multi-adjoint approach

Fuzzy Sets and Systems
A survey of strategies in rule-based program transformation systems

Journal of Symbolic Computation
Detecting non-termination of term rewriting systems using an unfolding operator

LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Program generation in the equivalent transformation computation model using the squeeze method

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Strictification of circular programs

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Building a fuzzy transformation system

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Specialization of concurrent guarded multi-set transformation rules

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Maximum marking problems with accumulative weight functions

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Program optimizations and transformations in calculation form

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Swapping arguments and results of recursive functions

MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Program Transformation: Theoretical Foundations and Basic Techniques. Part 1

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Point-free Program Transformation

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Determinization of conditional term rewriting systems

Theoretical Computer Science
Expandable process networks to efficiently specify and explore task, data, and pipeline parallelism

Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

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.