Automating derivation of incremental programs

Yuchen Zhang; Yanhong A. Liu

doi:10.1145/289423.289480

Automating derivation of incremental programs

Yuchen Zhang
, Yanhong A. Liu

Computer Science

Indiana University Bloomington

Research output: Contribution to conference › Paper › peer-review

7 Scopus citations

Abstract

Given a program f and an input change operation ⊕, an incremental program f′ computes the value of f(x⊕y) efficiently by making use of the value of f(x). The derivation of incremental programs shares the same underlying principle with finite differencing and a number of other program optimization. It is crucial for optimizing programs in high-level languages. An approach to automate the derivation of f′ from f and ⊕ based on a semi-automatic implementation - CACHET.

Original language	English
Pages	350
Number of pages	1
DOIs	https://doi.org/10.1145/289423.289480
State	Published - 1998
Event	Proceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98 - Baltimore, MD, USA Duration: Sep 27 1998 → Sep 29 1998

Conference

Conference	Proceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98
City	Baltimore, MD, USA
Period	09/27/98 → 09/29/98

Access to Document

10.1145/289423.289480

Cite this

@conference{cb790e1d03704cfba87233caa3b5ae4a,

title = "Automating derivation of incremental programs",

abstract = "Given a program f and an input change operation ⊕, an incremental program f′ computes the value of f(x⊕y) efficiently by making use of the value of f(x). The derivation of incremental programs shares the same underlying principle with finite differencing and a number of other program optimization. It is crucial for optimizing programs in high-level languages. An approach to automate the derivation of f′ from f and ⊕ based on a semi-automatic implementation - CACHET.",

author = "Yuchen Zhang and Liu, \{Yanhong A.\}",

year = "1998",

doi = "10.1145/289423.289480",

language = "English",

pages = "350",

note = "Proceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98 ; Conference date: 27-09-1998 Through 29-09-1998",

}

TY - CONF

T1 - Automating derivation of incremental programs

AU - Zhang, Yuchen

AU - Liu, Yanhong A.

PY - 1998

Y1 - 1998

N2 - Given a program f and an input change operation ⊕, an incremental program f′ computes the value of f(x⊕y) efficiently by making use of the value of f(x). The derivation of incremental programs shares the same underlying principle with finite differencing and a number of other program optimization. It is crucial for optimizing programs in high-level languages. An approach to automate the derivation of f′ from f and ⊕ based on a semi-automatic implementation - CACHET.

AB - Given a program f and an input change operation ⊕, an incremental program f′ computes the value of f(x⊕y) efficiently by making use of the value of f(x). The derivation of incremental programs shares the same underlying principle with finite differencing and a number of other program optimization. It is crucial for optimizing programs in high-level languages. An approach to automate the derivation of f′ from f and ⊕ based on a semi-automatic implementation - CACHET.

UR - https://www.scopus.com/pages/publications/0031612548

U2 - 10.1145/289423.289480

DO - 10.1145/289423.289480

M3 - Paper

AN - SCOPUS:0031612548

SP - 350

T2 - Proceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98

Y2 - 27 September 1998 through 29 September 1998

ER -

Automating derivation of incremental programs

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this