Formal integration: A program transformation technique

Authors:
Micha Sharir
Affiliations:
Tel Aviv University, Department of Mathematical Sciences, Ramat Aviv, Tel Aviv, Israel
Venue:
Computer Languages
Year:
1981

Citing 5
Cited 0

A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
Expression continuity and the formal differentiation of algorithms

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Inductively computable constructs in very high level languages

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Induction variables in very high level languages

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
High level iterators and a method for automatically designing data structure representation

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

A simple yet effective program transformation technique which turns complicated high-level expressions into incremental updating computations is introduced and discussed. This transformation, called Formal Integration, is based on a combination of general loop-fusion methods and formal differentiation. Its applicability is demonstrated in a variety of examples.