Some Observations Concerning Formal Differentiation of Set Theoretic Expressions

Micha Sharir*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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
Issue number2
StatePublished - 1 Apr 1982


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

Cite this