GitHub - tapicer/resource-contracts-.net: Resource Contracts for .NET is an extension of Code Contracts enabling the specification and verification of resources usage constraints.

tapicer / resource-contracts-.net Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Resource Contracts for .NET is an extension of Code Contracts enabling the specification and verification of resources usage constraints.

lafhis.dc.uba.ar/resourcecontracts/

1 star 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
doc		doc
poster		poster
presentation		presentation
src		src
README		README

Repository files navigation

Resource Contracts for .NET is an extension of Code Contracts enabling the specification and verification of resources usage constraints.

The first release focuses on dynamic memory consumption, including new annotaions aiming at specifying memory usage contracts in a per-method basis along with lifetime properties. These annotations can be both statically verified in a modular fashion or checked in run-time.

More information available at the official website: http://lafhis.dc.uba.ar/dependex/resourcecontracts/

The full text of the M.Sc. thesis can be found here (in spanish): http://lafhis.dc.uba.ar/users/~diegog/licTesis/2011-02-11-Tapicer-Jonathan.pdf

There is also a short report with a brief overview of the tool available in english here: http://lafhis.dc.uba.ar/dependex/resourcecontracts/files/report.pdf