Systematic derivation of incremental programs

DOI10.1016/0167-6423(94)00031-9MaRDI QIDQ1892179zbMATH OpenOpenAlexFDO

Authors Yanhong A. Liu, Tim Teitelbaum

Publication date 8 June 1995

Published in Science of Computer Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://hdl.handle.net/1813/6230

zbMATH Keywords

non-incremental program

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Efficiency by incrmentalization: An introduction
• Dynamic programming via thinning and incrementalization
• Dynamic programming via static incrementalization
• Incremental execution of transformation specifications
• Adaptive functional programming

Cited in

(13)

• Fixing incremental computation. Derivatives of fixpoints, and the recursive semantics of Datalog
• Strengthening invariants for efficient computation
• Dyn-FO: A parallel, dynamic complexity class
• Efficiency by incrmentalization: An introduction
• Adaptive functional programming
• Incremental programming language development
• Iterate, incrementalize, and implement: a systematic approach to efficiency improvement and guarantees
• Optimizing the stack size of recursive functions
• MRI: modular reasoning about interference in incremental programming
• A browser for incremental programming
• scientific article; zbMATH DE number 980418 (Why is no real title available?)
• Incremental execution of transformation specifications
• Incremental \(\lambda \)-calculus in cache-transfer style. Static memoization by program transformation

This page was built for publication: Systematic derivation of incremental programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892179)