A contract-based approach to adaptivity

Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing. A contract-based approach to adaptivity. Journal of Logic and Algebraic Programming, 80(3-5):180-193, 2011. [doi]

Abstract

Abstract is missing.