Some Observations Concerning Formal Differentiation of Set Theoretic Expressions

Research output: Contribution to journalArticlepeer-review

Abstract

A variety of matters related to formal differentiation are considered. First, an algebraic approach to formal differentiation of a class of set theoretic expressions is suggested. Then the application of formal differentiation to loop fusion is discussed. Finally, formal differentiation is applied to optimization of incremental construction of composite objects satisfying a given Predicate. The techniques developed are illustrated by transformational construction of a variety of algorithms.

Original languageEnglish
Pages (from-to)196-225
Number of pages30
JournalACM Transactions on Programming Languages and Systems
Volume4
Issue number2
DOIs
StatePublished - 1 Apr 1982

Fingerprint

Dive into the research topics of 'Some Observations Concerning Formal Differentiation of Set Theoretic Expressions'. Together they form a unique fingerprint.

Cite this