Formal integration: A program transformation technique

Micha Sharir*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)35-46
Number of pages12
JournalComputer Languages
Issue number1
StatePublished - 1981


  • Formal differentiation
  • Formal integration
  • Loop fusion
  • Program transformation


Dive into the research topics of 'Formal integration: A program transformation technique'. Together they form a unique fingerprint.

Cite this