Systematic derivation of incremental programs

Yanhong A. Liu; Tim Teitelbaum

doi:10.1016/0167-6423(94)00031-9

Systematic derivation of incremental programs

Yanhong A. Liu
, Tim Teitelbaum

Computer Science

Cornell University

Research output: Contribution to journal › Article › peer-review

50 Scopus citations

Abstract

A systematic approach is given for deriving incremental programs from non-incremental programs written in a standard functional programming language. We exploit a number of program analysis and transformation techniques and domain-specific knowledge, centered around effective utilization of caching, in order to provide a degree of incrementality not otherwise achievable by a generic incremental evaluator.

Original language	English
Pages (from-to)	1-39
Number of pages	39
Journal	Science of Computer Programming
Volume	24
Issue number	1
DOIs	https://doi.org/10.1016/0167-6423(94)00031-9
State	Published - Feb 1995

Access to Document

10.1016/0167-6423(94)00031-9

Cite this

@article{eb1ba96c728c40c6ad6727937152b6a0,

title = "Systematic derivation of incremental programs",

abstract = "A systematic approach is given for deriving incremental programs from non-incremental programs written in a standard functional programming language. We exploit a number of program analysis and transformation techniques and domain-specific knowledge, centered around effective utilization of caching, in order to provide a degree of incrementality not otherwise achievable by a generic incremental evaluator.",

author = "Liu, \{Yanhong A.\} and Tim Teitelbaum",

year = "1995",

month = feb,

doi = "10.1016/0167-6423(94)00031-9",

language = "English",

volume = "24",

pages = "1--39",

journal = "Science of Computer Programming",

issn = "0167-6423",

number = "1",

}

TY - JOUR

T1 - Systematic derivation of incremental programs

AU - Liu, Yanhong A.

AU - Teitelbaum, Tim

PY - 1995/2

Y1 - 1995/2

N2 - A systematic approach is given for deriving incremental programs from non-incremental programs written in a standard functional programming language. We exploit a number of program analysis and transformation techniques and domain-specific knowledge, centered around effective utilization of caching, in order to provide a degree of incrementality not otherwise achievable by a generic incremental evaluator.

AB - A systematic approach is given for deriving incremental programs from non-incremental programs written in a standard functional programming language. We exploit a number of program analysis and transformation techniques and domain-specific knowledge, centered around effective utilization of caching, in order to provide a degree of incrementality not otherwise achievable by a generic incremental evaluator.

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

U2 - 10.1016/0167-6423(94)00031-9

DO - 10.1016/0167-6423(94)00031-9

M3 - Article

AN - SCOPUS:0029254310

SN - 0167-6423

VL - 24

SP - 1

EP - 39

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 1

ER -

Systematic derivation of incremental programs

Abstract

Access to Document

Other files and links

Fingerprint

Cite this