Hispanopedia Wiki
Articulo de referencia

Haskell líquido

Ranjit Jhala"},"developer":{"wt":""},"released":{"wt":"{{Start date and age|2014}}"},"latest release version":{"wt":"0.9.12.2"},"latest release date":{"wt":"{{Start date and age...

Hispanopedia WikiContenido en espanolLectura gratuita

Liquid Haskell es un verificador de programas para el lenguaje de programación Haskell que permite especificar propiedades de corrección mediante el uso de tipos de refinamiento . [ 1 ] [ 2 ] Las propiedades se verifican utilizando un solucionador de satisfacibilidad módulo teorías (SMT) que cumple con SMTLIB2 , como el Z3 Theorem Prover .

Véase también

Referencias

  1. ↑ Vazou, Niki (2016). Liquid Haskell: Haskell como demostrador de teoremas (Tesis). Universidad de California.
  2. ↑ Vazou, Niki; Seidel, Eric (2014). "Tipos de refinamiento para Haskell" . Actas de la 19.ª Conferencia Internacional ACM SIGPLAN sobre Programación Funcional . Conferencia Internacional sobre Programación Funcional. ACM. págs. 269–282 . doi : 10.1145/2692915.2628161 . 
  • Löh, Andres (2018). Taller de Liquid Haskell . BOB 2018.
  • Jhala, Ranjit (2014). Liquid Haskell . Boston Haskell User Group.

Lecturas adicionales

  • Vazou, Niki (2018). Liquid Haskell: Tipos de refinamiento para Haskell . 45.º Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación (POPL 2018).
  • Diatchki, Iavor (2015). «Mejora de los tipos de Haskell con SMT». Actas del 8.º Simposio ACM SIGPLAN sobre Haskell - Haskell 2015. ACM. págs. 1-10 . doi : 10.1145/2804302.2804307 . ISBN  9781450338080. S2CID 16429107 . 
  • "Liquid Haskell - HaskellWiki" . wiki.haskell.org . Consultado el 31 de marzo de 2019 .
  • Liquid Haskell en GitHub