Static contract checking for Haskell
- 21 January 2009
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 44 (1), 41-52
- https://doi.org/10.1145/1594834.1480889
Abstract
No abstract availableThis publication has 24 references indexed in Scilit:
- A Hoare Logic for Call-by-Value Functional ProgramsLecture Notes in Computer Science, 2008
- Abstract Predicates and Mutable ADTs in Hoare Type TheoryLecture Notes in Computer Science, 2007
- Sound and complete models of contractsJournal of Functional Programming, 2006
- Modular set-based analysis from contractsPublished by Association for Computing Machinery (ACM) ,2006
- Contracts as Pairs of ProjectionsLecture Notes in Computer Science, 2006
- Typed Contracts for Functional ProgrammingLecture Notes in Computer Science, 2006
- A language-based approach to functionally correct imperative programmingPublished by Association for Computing Machinery (ACM) ,2005
- ATS: A Language That Combines Programming with Theorem ProvingLecture Notes in Computer Science, 2005
- An overview of JML tools and applicationsElectronic Notes in Theoretical Computer Science, 2003
- A technique for software module specification with examplesCommunications of the ACM, 1972