Strengthening invariants for efficient computation

DOI10.1016/S0167-6423(01)00003-XMaRDI QIDQ5949500zbMATH OpenFDO

Authors Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum

Publication date 22 July 2002

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

Full work available at URL https://doi.org/10.1016/S0167-6423(01)00003-X

zbMATH Keywords

transformational programming

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Efficiency by incrmentalization: An introduction
• scientific article; zbMATH DE number 1487945
• Systematic derivation of incremental programs
• Complexity models for incremental computation
• Property-directed incremental invariant generation

Cited in

(4)

• Differentiable Invariants
• Efficiency by incrmentalization: An introduction
• Iterate, incrementalize, and implement: a systematic approach to efficiency improvement and guarantees
• A thorough treatment of highly-efficient NTRU instantiations

This page was built for publication: Strengthening invariants for efficient computation

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