onr:"swepub:oai:research.chalmers.se:ec0a0d71-bc03-4363-a492-0c1480348996"
Search: onr:"swepub:oai:research.chalmers.se:ec0a0d71-bc03-4363-a492-0c1480348996" > Static contract che...
- 1 of 1
- Previous record
- Next record
- To hitlist
Static contract checking for haskell
-
- Xu, D. N. (author)
- University Of Cambridge
-
- Jones, S. P. (author)
- Microsoft Research
-
- Lindström Claessen, Koen, 1975 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
- (creator_code:org_t)
- ISBN 9781605583792
- 2009-01-21
- 2009
- English.
- In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. - New York, NY, USA : ACM. - 0730-8566. - 9781605583792 ; , s. 41-52
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- 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 verification techniques have been applied to imperative and object-oriented languages, like Java and C#, but few have been applied to a higher-order lazy functional language, like Haskell. In this paper, we describe a sound and automatic static verification framework for Haskell, that is based on contracts and symbolic execution. Our approach is modular and gives precise blame assignments at compile-time in the presence of higher-order functions and laziness.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- Static contract checking
- Contract satisfaction
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
- Conference Record of the Annual ACM Symposium on Principles of Programming Langu... (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Xu, D. N.
- Jones, S. P.
- Lindström Claess ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Articles in the publication
- Conference Recor ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
