SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(Koen N) srt2:(2009)"

Search: WFRF:(Koen N) > (2009)

  • Result 1-2 of 2
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Xu, D. N., et al. (author)
  • Static contract checking for haskell
  • 2009
  • 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
    • 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.
  •  
2.
  • Xu, D. N., et al. (author)
  • Static Contract Checking for Haskell
  • 2009
  • In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). - : Association for Computing Machinery (ACM). - 0730-8566 .- 0362-1340 .- 1558-1160. ; 44:1, s. 41-52
  • Journal article (peer-reviewed)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-2 of 2
Type of publication
conference paper (1)
journal article (1)
Type of content
peer-reviewed (2)
Author/Editor
Lindström Claessen, ... (2)
Jones, S. P. (2)
Xu, D. N. (2)
University
Chalmers University of Technology (2)
Language
English (2)
Research subject (UKÄ/SCB)
Natural sciences (2)
Year

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.

 
pil uppåt Close

Copy and save the link in order to return to this view