Strengthening invariants for efficient computation

DOI10.1016/S0167-6423(01)00003-XzbMath0988.68052MaRDI QIDQ5949500

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

Publication date: 22 July 2002

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

zbMATH Keywords

transformational programming

Mathematics Subject Classification ID

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

Related Items (1)

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

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