Sciweavers

Share
21 search results - page 1 / 5
» Static contract checking for Haskell
Sort
View
POPL
2009
ACM
11 years 1 months ago
Static contract checking for Haskell
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
ICSE
2009
IEEE-ACM
10 years 8 months ago
Exploiting the synergy between automated-test-generation and programming-by-contract
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriente...
Michael Barnett, Manuel Fähndrich, Peli de Ha...
PPDP
2010
Springer
9 years 11 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
POPL
2006
ACM
11 years 1 months ago
Hybrid type checking
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
Cormac Flanagan
books