Жидкий Haskell - Liquid Haskell
Жидкий Haskell это верификатор программы за Haskell который позволяет разработчикам указывать свойства корректности с помощью типы уточнения.[1][2] Свойства проверяются с помощью SMTLIB2 -соответствующий SMT решатель, такой как Z3 Доказательство теорем.
Смотрите также
Рекомендации
- ^ Вазу, Ники (2016). Liquid Haskell: Haskell как средство доказательства теорем (Тезис). Калифорнийский университет.
- ^ Вазу, Ники; Зайдель, Эрик (2014). «Типы уточнения для Haskell». Материалы 19-й Международной конференции ACM SIGPLAN по функциональному программированию. Международная конференция по функциональному программированию. ACM. С. 269–282. Дои:10.1145/2692915.2628161.
- Лё, Андрес (2018). Мастерская Liquid Haskell. ЛПП 2018.
- Джала, Ранджит (2014). Жидкий Haskell. Группа пользователей Boston Haskell.
дальнейшее чтение
- Вазу, Ники. Liquid Haskell: типы уточнения для Haskell. 45-й симпозиум ACM SIGPLAN по принципам языков программирования (POPL 2018).
- Дьячки, Явор (2015). «Улучшение типов Haskell с помощью SMT». Материалы 8-го симпозиума ACM SIGPLAN по Haskell - Haskell 2015. ACM. С. 1–10. Дои:10.1145/2804302.2804307. ISBN 9781450338080.
внешняя ссылка
- «Жидкий Haskell - HaskellWiki». wiki.haskell.org. Получено 31 марта 2019.
 | Этот формальные методы -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |