Resource usage contracts for .NET

Abstract

Code Contracts [2] is a tool that allows the specification and verification of contracts (pre, post-condition, invariants) in all .NET based programming languages. Resource Contracts is an extension of this language to specify resource usage in .NET programs. The new annotations, initially focussed on dynamic memory, enable modular analysis of both memory… (More)
DOI: 10.1145/1984708.1984725

1 Figure or Table

Topics

  • Presentations referencing similar topics