Resource usage contracts for .NET


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


  • Presentations referencing similar topics