Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Implementación de un model checker para lógicas modales en Haskell

1997
 
Tipo de documento: Objeto de conferencia

Resumen

Las lógicas modales son utilizadas en una gran variedad de campos relacionados con las ciencias de la computaci ón Entre ellos se encuentran la veri ficaci ón de programas la concurrencia la teor ía de aut ómatas los operadores de punto jo y los sistemas de comunicaci ón distribu dos El objetivo de este trabajo es describir la implementaci ón en Haskell de un veri ficador de modelos gen erico para l ógicas modales y analizar su comportamiento ven tajas y desventajas con respecto a posibles implementaciones basadas en lenguajes imperativos

Notas

Eje: Conferencia latinoamericana de programación funcional

Información general

Fecha de exposición: 1997
Fecha de publicación: 1997
Idioma del documento: Español
Evento: III Congreso Argentino de Ciencias de la Computación
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (153.9Kb) - PDF
 
Creado el: 14 de noviembre de 2012
Disponible en SEDICI desde: 14 de noviembre de 2012
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/24132

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)