Liquid Haskell
In this article, the topic of Liquid Haskell will be addressed from different perspectives and approaches. Liquid Haskell is a topic of great relevance today, which has captured the attention of experts, researchers and the general public. Throughout history, Liquid Haskell has been the subject of numerous studies, debates and reflections, demonstrating the importance of understanding its impact and reach. In this sense, the main objective of this article is to analyze the different dimensions of Liquid Haskell, offering a comprehensive overview that allows readers to understand its meaning, implications and possible repercussions in different areas of society. In addition, new research and discoveries will be presented that expand our understanding of Liquid Haskell, offering an updated and enriching view on this very relevant topic.
| Liquid Haskell | |
|---|---|
| Original authors | Niki Vazou, Eric Seidel Ranjit Jhala |
| Initial release | 2014 |
| Stable release | 0.9.2.5
/ October 18, 2023 |
| Repository | github |
| Written in | Haskell |
| Available in | English |
| Type | Formal program verifier |
| License | BSD 3-clause |
| Website | ucsd-progsys |
Liquid Haskell is a program verifier for the programming language Haskell which allows specifying correctness properties by using refinement types.[1][2] Properties are verified using a satisfiability modulo theories (SMT) solver which is SMTLIB2-compliant, such as the Z3 Theorem Prover.
See also
References
- ^ 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.
Further reading
- Vazou, Niki (2018). 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. S2CID 16429107.
External links
- "Liquid Haskell - HaskellWiki". wiki.haskell.org. Retrieved 31 March 2019.
- Liquid Haskell on GitHub
Haskell programming | ||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Software |
|  | ||||||||||||||||||||
| Book | ||||||||||||||||||||||
| Community |
| |||||||||||||||||||||
 | This formal methods-related article is a stub. You can help Wikipedia by expanding it. |
.svg){kind=logo} | This free and open-source software article is a stub. You can help Wikipedia by expanding it. |