Conferencia
Tapicer, J.; Garbervetsky, D.; Rouaux, M. "Resource usage contracts for .NET" (2011) 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:56
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
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 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.
Registro:
| Documento: | Conferencia |
| Título: | Resource usage contracts for .NET |
| Autor: | Tapicer, J.; Garbervetsky, D.; Rouaux, M. |
| Ciudad: | Waikiki, Honolulu, HI |
| Filiación: | Departamento de Computación, FCEyN, UBA, Buenos Aires, Argentina |
| Palabras clave: | 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 |
| Año: | 2011 |
| Página de inicio: | 56 |
| DOI: | http://dx.doi.org/10.1145/1984708.1984725 |
| Título revista: | 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011 |
| Título revista abreviado: | Proc Int Conf Software Eng |
| ISSN: | 02705257 |
| CODEN: | PCSED |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02705257_v_n_p56_Tapicer |
Referencias:
- Braberman, V., Fernández, F., Garbervetsky, D., Yovine, S., Parametric prediction of heap memory requirements ISMM'08. ACM, Jun 2008
- Fähndrich, M., Barnett, M., Logozzo, F., Embedded contract languages (2010) SAC 2010, pp. 2103-2110. , ACM
- Garbervetsky, D., Rouax, M., Tapicer, J., SEIF Project: ResourceContracts.NET, , http://lafhis.dc.uba.ar/resourcecontracts/files/report.pdfA4 - ACM SIGSOFT; IEEE CS
Citas:
---------- APA ----------
Tapicer, J., Garbervetsky, D. & Rouaux, M. (2011) . Resource usage contracts for .NET. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011, 56.http://dx.doi.org/10.1145/1984708.1984725
---------- CHICAGO ----------
Tapicer, J., Garbervetsky, D., Rouaux, M. "Resource usage contracts for .NET" . 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011 (2011) : 56.http://dx.doi.org/10.1145/1984708.1984725
---------- MLA ----------
Tapicer, J., Garbervetsky, D., Rouaux, M. "Resource usage contracts for .NET" . 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011, 2011, pp. 56.http://dx.doi.org/10.1145/1984708.1984725
---------- VANCOUVER ----------
Tapicer, J., Garbervetsky, D., Rouaux, M. Resource usage contracts for .NET. Proc Int Conf Software Eng. 2011:56.http://dx.doi.org/10.1145/1984708.1984725
