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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/19456
Ver los metadatos del registro completo
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 |