Síntesis de especificaciones paramétricas de utilización de la memoria dinámica
En los últimos años se ha visto un gran interés en las comunidades de sistemas de tiempo real y embebidos en el uso de de lenguajes orientados a objetos tipo Java. Los motivos de este interés se deben en parte a que este tipo de tecnologías facilitan la encapsulación de abstracciones y la comunicaci...
Guardado en:
Autor principal: | Garbervetsky, Diego |
---|---|
Otros Autores: | Braberman, Víctor Adrián |
Formato: | Tesis doctoral publishedVersion |
Lenguaje: | Inglés |
Publicado: |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
2007
|
Materias: | |
Acceso en línea: | https://hdl.handle.net/20.500.12110/tesis_n4141_Garbervetsky |
Aporte de: |
Ejemplares similares
-
Síntesis de especificaciones paramétricas de utilización de la memoria dinámica
por: Garbervetsky, Diego
Publicado: (2007) -
Síntesis de especificaciones paramétricas de utilización de la memoria dinámica
por: Garbervetsky, Diego
Publicado: (2007) -
Summary-based inference of quantitative bounds of live heap objects
por: Braberman, Víctor Adrián, et al.
Publicado: (2014) -
Summary-based inference of quantitative bounds of live heap objects
por: Braberman, V., et al. -
On verifying resource contracts using code contracts
por: Garbervetsky, Diego, et al.
Publicado: (2014)