On Verifying Resource Contracts using Code Contracts
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory man...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2014-01-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1401.0968v1 |