TY - JOUR
T1 - Some Observations Concerning Formal Differentiation of Set Theoretic Expressions
AU - Sharir, Micha
PY - 1982/4/1
Y1 - 1982/4/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84976663092&partnerID=8YFLogxK
U2 - 10.1145/357162.357166
DO - 10.1145/357162.357166
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84976663092
SN - 0164-0925
VL - 4
SP - 196
EP - 225
JO - ACM Transactions on Programming Languages and Systems
JF - ACM Transactions on Programming Languages and Systems
IS - 2
ER -