Systematic Derivation of Incremental Programs

Liu, Yanhong A.; Teitelbaum, Tim

dc.contributor.author	Liu, Yanhong A.	en_US
dc.contributor.author	Teitelbaum, Tim	en_US
dc.date.accessioned	2007-04-23T16:37:19Z
dc.date.available	2007-04-23T16:37:19Z
dc.date.issued	1994-09	en_US
dc.identifier.citation	http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR94-1444	en_US
dc.identifier.uri	https://hdl.handle.net/1813/6230
dc.description.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.	en_US
dc.format.extent	353169 bytes
dc.format.extent	391216 bytes
dc.format.mimetype	application/pdf
dc.format.mimetype	application/postscript
dc.language.iso	en_US	en_US
dc.publisher	Cornell University	en_US
dc.subject	computer science	en_US
dc.subject	technical report	en_US
dc.title	Systematic Derivation of Incremental Programs	en_US
dc.type	technical report	en_US