Análisis estático de programas

Autores
Arroyo, Marcelo; Bavera, Francisco; Regis, Germán
Año de publicación
2010
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Aspectos teóricos de ciencias de la computación
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
informática
Software
Formal Definitions and Theory
CODING AND INFORMATION THEORY
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/19456

id SEDICI_f9daa9a0e5257beb816e4c7bdcac70dc
oai_identifier_str oai:sedici.unlp.edu.ar:10915/19456
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Análisis estático de programasArroyo, MarceloBavera, FranciscoRegis, GermánCiencias InformáticasinformáticaSoftwareFormal Definitions and TheoryCODING AND INFORMATION THEORYEn 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.Eje: Aspectos teóricos de ciencias de la computaciónRed de Universidades con Carreras en Informática (RedUNCI)2010-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf132-136http://sedici.unlp.edu.ar/handle/10915/19456spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:53:55Zoai:sedici.unlp.edu.ar:10915/19456Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:53:55.668SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Análisis estático de programas
title Análisis estático de programas
spellingShingle Análisis estático de programas
Arroyo, Marcelo
Ciencias Informáticas
informática
Software
Formal Definitions and Theory
CODING AND INFORMATION THEORY
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
dc.creator.none.fl_str_mv Arroyo, Marcelo
Bavera, Francisco
Regis, Germán
author Arroyo, Marcelo
author_facet Arroyo, Marcelo
Bavera, Francisco
Regis, Germán
author_role author
author2 Bavera, Francisco
Regis, Germán
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
informática
Software
Formal Definitions and Theory
CODING AND INFORMATION THEORY
topic Ciencias Informáticas
informática
Software
Formal Definitions and Theory
CODING AND INFORMATION THEORY
dc.description.none.fl_txt_mv 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.
Eje: Aspectos teóricos de ciencias de la computación
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2010
dc.date.none.fl_str_mv 2010-05
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/19456
url http://sedici.unlp.edu.ar/handle/10915/19456
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
132-136
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615795478364160
score 13.070432