Search among the 167035 resources available in the repository
dc.date.accessioned | 2014-10-20T14:20:01Z | |
dc.date.available | 2014-10-20T14:20:01Z | |
dc.date.issued | 2014-10-20 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/41580 | |
dc.description.abstract | 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. | es |
dc.format.extent | 550-554 | es |
dc.language | es | es |
dc.subject | Formal methods | es |
dc.subject | Software/Program Verification | es |
dc.subject | Probabilistic computation | es |
dc.title | Herramientas para la exploración y formalización de modelos de programas probabilísticos | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Gonzalía, Carlos José | es |
sedici.description.note | Eje: Ingeniería de Software | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2014-05 | |
sedici.relation.event | XVI Workshop de Investigadores en Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |