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

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
id I19-R120-10915-19456
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
informática
Software
Formal Definitions and Theory
CODING AND INFORMATION THEORY
spellingShingle Ciencias Informáticas
informática
Software
Formal Definitions and Theory
CODING AND INFORMATION THEORY
Arroyo, Marcelo
Bavera, Francisco
Regis, Germán
Análisis estático de programas
topic_facet Ciencias Informáticas
informática
Software
Formal Definitions and Theory
CODING AND INFORMATION THEORY
description 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 de modelos mientras que otros lo hacen directamente a nivel de código fuente. Se utilizan técnicas tanto de análisis estático liviano como pesados (basados en demostradores de teoremas o model-checking). En una línea de trabajo se investiga en análisis estático de propiedades de programas a nivel de código fuente, usando diferentes técnicas como métodos livianos basados en interpretación abstracta y lógicas especí cas como separation logic. Otra línea realiza análisis de propiedades de seguridad en programas en formatos de bajo nivel (bytecode) utilizando sistemas de tipos desarrollados a medida. La última línea de trabajo se basa en el análisis de propiedades de modelos de procesos de negocios usando métodos formales.
format Objeto de conferencia
Objeto de conferencia
author Arroyo, Marcelo
Bavera, Francisco
Regis, Germán
author_facet Arroyo, Marcelo
Bavera, Francisco
Regis, Germán
author_sort Arroyo, Marcelo
title Análisis estático de programas
title_short Análisis estático de programas
title_full Análisis estático de programas
title_fullStr Análisis estático de programas
title_full_unstemmed Análisis estático de programas
title_sort análisis estático de programas
publishDate 2010
url http://sedici.unlp.edu.ar/handle/10915/19456
work_keys_str_mv AT arroyomarcelo analisisestaticodeprogramas
AT baverafrancisco analisisestaticodeprogramas
AT regisgerman analisisestaticodeprogramas
bdutipo_str Repositorios
_version_ 1764820464126918656

Ejemplares similares