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...

Descripción completa

Detalles Bibliográficos
Autores principales:	Tapicer, Jonathan, Garbervetsky, Diego, Rouaux, Martín
Publicado:	2011
Materias:	Resource usage annotations Static verification Build time Memory consumption Modular analysis ON dynamics Points-to analysis Resource usage Specification and verification Visual studios
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p56_Tapicer http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p56_Tapicer
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_02705257_v_n_p56_Tapicer
record_format	dspace
spelling	paper:paper_02705257_v_n_p56_Tapicer2023-06-08T15:24:40Z Resource usage contracts for .NET Tapicer, Jonathan Garbervetsky, Diego Rouaux, Martín Resource usage annotations Static verification Build time Memory consumption Modular analysis ON dynamics Points-to analysis Resource usage Specification and verification Static verification Visual studios 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 consumption and lifetime properties. They are checked by relying on the own CODE CONTRACTS static verifier and a points-to analysis. This approach is implemented as a VISUAL STUDIO extension1, providing facilities such us autocompletion and verification at build time. Copyright 2011 ACM. Fil:Tapicer, J. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Garbervetsky, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Rouaux, M. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2011 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p56_Tapicer http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p56_Tapicer
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Resource usage annotations Static verification Build time Memory consumption Modular analysis ON dynamics Points-to analysis Resource usage Specification and verification Static verification Visual studios
spellingShingle	Resource usage annotations Static verification Build time Memory consumption Modular analysis ON dynamics Points-to analysis Resource usage Specification and verification Static verification Visual studios Tapicer, Jonathan Garbervetsky, Diego Rouaux, Martín Resource usage contracts for .NET
topic_facet	Resource usage annotations Static verification Build time Memory consumption Modular analysis ON dynamics Points-to analysis Resource usage Specification and verification Static verification Visual studios
description	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 consumption and lifetime properties. They are checked by relying on the own CODE CONTRACTS static verifier and a points-to analysis. This approach is implemented as a VISUAL STUDIO extension1, providing facilities such us autocompletion and verification at build time. Copyright 2011 ACM.
author	Tapicer, Jonathan Garbervetsky, Diego Rouaux, Martín
author_facet	Tapicer, Jonathan Garbervetsky, Diego Rouaux, Martín
author_sort	Tapicer, Jonathan
title	Resource usage contracts for .NET
title_short	Resource usage contracts for .NET
title_full	Resource usage contracts for .NET
title_fullStr	Resource usage contracts for .NET
title_full_unstemmed	Resource usage contracts for .NET
title_sort	resource usage contracts for .net
publishDate	2011
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p56_Tapicer http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p56_Tapicer
work_keys_str_mv	AT tapicerjonathan resourceusagecontractsfornet AT garbervetskydiego resourceusagecontractsfornet AT rouauxmartin resourceusagecontractsfornet
_version_	1768546583202234368

Resource usage contracts for .NET

Ejemplares similares