Iterate, Incrementalize, and Implement: A Systematic Approach to Efficiency Improvement and Guarantees

DOI10.1016/S1571-0661(03)00007-0zbMath1261.68072MaRDI QIDQ4916235

Yanhong A. Liu

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cites Work

• Dynamic programming via static incrementalization
• Efficiency by incrmentalization: An introduction
• Program derivation by fixed point computation
• Systematic derivation of incremental programs
• Finite Differencing of Computable Expressions
• Strengthening invariants for efficient computation

This page was built for publication: Iterate, Incrementalize, and Implement: A Systematic Approach to Efficiency Improvement and Guarantees