Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees

Abstract

People may more easily specify what they would like to compute if not concerned with how to compute efficiently. Given descriptions that may lead to inefficient computations, can we systematically obtain efficient algorithms and implementations? Can we further have efficiency guarantees for them? We give an overview of a general and systematic method for… (More)
DOI: 10.1016/S1571-0661(03)00007-0

Topics

  • Presentations referencing similar topics