Liquid Haskell - Liquid Haskell
Liquid Haskell je programový ověřovatel pro Haskell což umožňuje vývojářům určit vlastnosti správnosti pomocí typy upřesnění.[1][2] Vlastnosti se ověřují pomocí SMTLIB2 -v souladu SMT řešitel, například Poskytovatel věty Z3.
Viz také
Reference
- ^ Vazou, Niki (2016). Liquid Haskell: Haskell jako důkaz věty (Teze). University of California.
- ^ Vazou, Niki; Seidel, Eric (2014). "Typy upřesnění pro Haskell". Sborník 19. mezinárodní konference ACM SIGPLAN o funkčním programování. Mezinárodní konference o funkčním programování. ACM. 269–282. doi:10.1145/2692915.2628161.
- Löh, Andres (2018). Workshop Tekuté Haskell. BOB 2018.
- Jhala, Ranjit (2014). Liquid Haskell. Skupina uživatelů Boston Haskell.
Další čtení
- Vazou, Niki. Liquid Haskell: Refinement Types for Haskell. 45. sympozium ACM SIGPLAN o zásadách programovacích jazyků (POPL 2018).
- Diatchki, Iavor (2015). Msgstr "Vylepšování typů Haskell pomocí SMT". Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015. ACM. s. 1–10. doi:10.1145/2804302.2804307. ISBN 9781450338080.
externí odkazy
- "Liquid Haskell - HaskellWiki". wiki.haskell.org. Citováno 31. března 2019.
 | Tento formální metody související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |