액체 해스켈
Liquid HaskellLiquid Haskell은 개발자가 정제 [1][2]유형을 사용하여 정확성 특성을 지정할 수 있는 Haskell의 프로그램 검증자입니다.특성은 Z3 Oremy Prover와 같은 SMTLIB2 호환 SMT 솔버를 사용하여 검증됩니다.
「 」를 참조해 주세요.
레퍼런스
- ^ Vazou, Niki (2016). Liquid Haskell: Haskell as a theorem prover (Thesis). University of California.
- ^ Vazou, Niki; Seidel, Eric (2014). "Refinement types for Haskell". Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming. International Conference on Functional Programming. ACM. pp. 269–282. doi:10.1145/2692915.2628161.
- Löh, Andres (2018). Liquid Haskell Workshop. BOB 2018.
- Jhala, Ranjit (2014). Liquid Haskell. Boston Haskell User Group.
추가 정보
- Vazou, Niki. Liquid Haskell: Refinement Types for Haskell. The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018).
- Diatchki, Iavor (2015). "Improving Haskell types with SMT". Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015. ACM. pp. 1–10. doi:10.1145/2804302.2804307. ISBN 9781450338080.
외부 링크
- "Liquid Haskell - HaskellWiki". wiki.haskell.org. Retrieved 31 March 2019.
