Systematic derivation of incremental programs

DOI10.1016/0167-6423(94)00031-9zbMath0827.68015OpenAlexW2089171884MaRDI QIDQ1892179

Yanhong A. Liu, Tim Teitelbaum

Publication date: 8 June 1995

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

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)

Related Items (3)

Dyn-FO: A parallel, dynamic complexity class ⋮ Optimizing the stack size of recursive functions ⋮ Iterate, Incrementalize, and Implement: A Systematic Approach to Efficiency Improvement and Guarantees

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