Herramientas para la exploración y formalización de modelos de programas probabilísticos

El objetivo de nuestra investigación es la construcción de herramientas que permitan explorar las propiedades tanto formales como intuitivas de programas probabilísticos. Los programas que tenemos en mente son aquellos expresables en pGCL, una extensión del lenguaje imperativo de “comandos con guard...

Descripción completa

Detalles Bibliográficos
Autor principal: Gonzalía, Carlos José
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2014
Materias:
Ciencias Informáticas
Formal methods
Software/Program Verification
Probabilistic computation
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/41580
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-41580
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
Formal methods
Software/Program Verification
Probabilistic computation
spellingShingle Ciencias Informáticas
Formal methods
Software/Program Verification
Probabilistic computation
Gonzalía, Carlos José
Herramientas para la exploración y formalización de modelos de programas probabilísticos
topic_facet Ciencias Informáticas
Formal methods
Software/Program Verification
Probabilistic computation
description El objetivo de nuestra investigación es la construcción de herramientas que permitan explorar las propiedades tanto formales como intuitivas de programas probabilísticos. Los programas que tenemos en mente son aquellos expresables en pGCL, una extensión del lenguaje imperativo de “comandos con guardas” de Dijkstra. El significado y conducta de tales programas probabilísticos es bastante difícil de establecer para una persona no experta en el tema, incluso a la hora de entender una simple traza completa de los mismos. Es clara entonces la necesidad de crear herramientas de software que ayuden tanto en la parte formal (demostraciones formalizadas de propiedades de programas) como intuitiva (exploración de modelos) de estos programas. La aplicación de dichas herramientas sería de utilidad tanto en el área de métodos formales como en la de lenguajes de programación modernos. En particular, nos interesa integrar todas las herramientas a desarrollar alrededor del lenguaje de programación funcional Haskell, de modo de aprovechar la riqueza de conexiones con herramientas de formalización (como ser Agda), como así otras librerías y herramientas de desarrollo para el programador de Haskell.
format Objeto de conferencia
Objeto de conferencia
author Gonzalía, Carlos José
author_facet Gonzalía, Carlos José
author_sort Gonzalía, Carlos José
title Herramientas para la exploración y formalización de modelos de programas probabilísticos
title_short Herramientas para la exploración y formalización de modelos de programas probabilísticos
title_full Herramientas para la exploración y formalización de modelos de programas probabilísticos
title_fullStr Herramientas para la exploración y formalización de modelos de programas probabilísticos
title_full_unstemmed Herramientas para la exploración y formalización de modelos de programas probabilísticos
title_sort herramientas para la exploración y formalización de modelos de programas probabilísticos
publishDate 2014
url http://sedici.unlp.edu.ar/handle/10915/41580
work_keys_str_mv AT gonzaliacarlosjose herramientasparalaexploracionyformalizaciondemodelosdeprogramasprobabilisticos
bdutipo_str Repositorios
_version_ 1764820473759137795

Ejemplares similares