Análisis estático de programas

En el presente trabajo se describen las líneas de investigación en desarrollo por el grupo de investigación en análisis estático de propiedades de programas. Los integrantes del grupo atacan el problema del análisis de propiedades de programas mediante diferentes enfoques. Algunos trabajan a nivel d...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Arroyo, Marcelo, Bavera, Francisco, Regis, Germán
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2010
Materias:
Ciencias Informáticas
informática
Software
Formal Definitions and Theory
CODING AND INFORMATION THEORY
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/19456
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares