Жидкий Хаскель

Жидкий Хаскель
Оригинальный автор(ы)	Ники Вазу, Эрик Сайдел ; Ранджит Джала
Первоначальный выпуск	2014 год ; 10 лет назад
Стабильная версия	0.9.2.5 / 18 октября 2023 г .; 9 месяцев назад
Репозиторий	github .с /ucsd-progsys /liquidhaskell
Написано в	Хаскелл
Доступно в	Английский
Тип	Формальный верификатор программы
Лицензия	BSD 3-пункт
Веб-сайт	ucsd-progsys .github .что /liquidhaskell

Liquid Haskell — верификатор программы для языка программирования Haskell , который позволяет указывать свойства корректности с помощью уточняющих типов . ^[1]^[2] Свойства проверяются с помощью решателя теории выполнимости по модулю (SMT), совместимого с SMTLIB2 , такого как Z3 Therome Prover .

См. также

^ Вазу, Ники (2016). Liquid Haskell: Haskell как средство доказательства теорем (Диссертация). Калифорнийский университет.
^ Вазу, Ники; Зайдель, Эрик (2014). «Типы уточнения для Haskell» . Материалы 19-й Международной конференции ACM SIGPLAN по функциональному программированию . Международная конференция по функциональному программированию. АКМ. стр. 269–282. дои : 10.1145/2692915.2628161 .

Лё, Андрес (2018). Мастер-класс по жидкому Haskell . ЛПП 2018.
Джала, Ранджит (2014). Жидкий Хаскель . Бостонская группа пользователей Haskell.

Вазу, Ники (2018). Liquid Haskell: типы уточнений Haskell . 45-й симпозиум ACM SIGPLAN по принципам языков программирования (POPL 2018).
Дьячки, Явор (2015). «Улучшение типов Haskell с помощью SMT». Материалы 8-го симпозиума ACM SIGPLAN по Haskell — Haskell 2015 . АКМ. стр. 1–10. дои : 10.1145/2804302.2804307 . ISBN 9781450338080 . S2CID 16429107 .