Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973676520> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1973676520 abstract "Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and to systems that are guarded by runtime checks. Extended static checking can reduce these costs by helping to detect bugs at compile-time, where possible. Extended static checking has been applied to objectoriented languages, like Java and C#, but it has not been applied to a lazy functional language, like Haskell. In this paper, we describe an extended static checking tool for Haskell, named ESC/Haskell, that is based on symbolic computation and assisted by a few novel strategies. One novelty is our use of Haskell as the specification language itself for pre/post conditions. Any Haskell function (including recursive and higher order functions) can be used in our specification which allows sophisticated properties to be expressed. To perform automatic verification, we rely on a novel technique based on symbolic computation that is augmented by counter-example guided unrolling. This technique can automate our verification process and be efficiently implemented." @default.
- W1973676520 created "2016-06-24" @default.
- W1973676520 creator A5001440507 @default.
- W1973676520 date "2006-09-17" @default.
- W1973676520 modified "2023-10-17" @default.
- W1973676520 title "Extended static checking for haskell" @default.
- W1973676520 cites W1959256509 @default.
- W1973676520 cites W1965664509 @default.
- W1973676520 cites W1966790592 @default.
- W1973676520 cites W1992431017 @default.
- W1973676520 cites W1993836075 @default.
- W1973676520 cites W2005192022 @default.
- W1973676520 cites W2027584005 @default.
- W1973676520 cites W2035636826 @default.
- W1973676520 cites W2055477538 @default.
- W1973676520 cites W2082000355 @default.
- W1973676520 cites W2128303158 @default.
- W1973676520 cites W2139597778 @default.
- W1973676520 doi "https://doi.org/10.1145/1159842.1159849" @default.
- W1973676520 hasPublicationYear "2006" @default.
- W1973676520 type Work @default.
- W1973676520 sameAs 1973676520 @default.
- W1973676520 citedByCount "37" @default.
- W1973676520 countsByYear W19736765202012 @default.
- W1973676520 countsByYear W19736765202013 @default.
- W1973676520 countsByYear W19736765202014 @default.
- W1973676520 countsByYear W19736765202015 @default.
- W1973676520 countsByYear W19736765202018 @default.
- W1973676520 countsByYear W19736765202019 @default.
- W1973676520 crossrefType "proceedings-article" @default.
- W1973676520 hasAuthorship W1973676520A5001440507 @default.
- W1973676520 hasBestOaLocation W19736765202 @default.
- W1973676520 hasConcept C168065819 @default.
- W1973676520 hasConcept C169590947 @default.
- W1973676520 hasConcept C199360897 @default.
- W1973676520 hasConcept C200833197 @default.
- W1973676520 hasConcept C2777904410 @default.
- W1973676520 hasConcept C2779639559 @default.
- W1973676520 hasConcept C2780624054 @default.
- W1973676520 hasConcept C41008148 @default.
- W1973676520 hasConcept C42383842 @default.
- W1973676520 hasConcept C548217200 @default.
- W1973676520 hasConceptScore W1973676520C168065819 @default.
- W1973676520 hasConceptScore W1973676520C169590947 @default.
- W1973676520 hasConceptScore W1973676520C199360897 @default.
- W1973676520 hasConceptScore W1973676520C200833197 @default.
- W1973676520 hasConceptScore W1973676520C2777904410 @default.
- W1973676520 hasConceptScore W1973676520C2779639559 @default.
- W1973676520 hasConceptScore W1973676520C2780624054 @default.
- W1973676520 hasConceptScore W1973676520C41008148 @default.
- W1973676520 hasConceptScore W1973676520C42383842 @default.
- W1973676520 hasConceptScore W1973676520C548217200 @default.
- W1973676520 hasLocation W19736765201 @default.
- W1973676520 hasLocation W19736765202 @default.
- W1973676520 hasOpenAccess W1973676520 @default.
- W1973676520 hasPrimaryLocation W19736765201 @default.
- W1973676520 hasRelatedWork W135379672 @default.
- W1973676520 hasRelatedWork W1536665227 @default.
- W1973676520 hasRelatedWork W1587224678 @default.
- W1973676520 hasRelatedWork W1601811574 @default.
- W1973676520 hasRelatedWork W1757338326 @default.
- W1973676520 hasRelatedWork W2129129872 @default.
- W1973676520 hasRelatedWork W2803248237 @default.
- W1973676520 hasRelatedWork W2926633993 @default.
- W1973676520 hasRelatedWork W4246781209 @default.
- W1973676520 hasRelatedWork W4297749046 @default.
- W1973676520 isParatext "false" @default.
- W1973676520 isRetracted "false" @default.
- W1973676520 magId "1973676520" @default.
- W1973676520 workType "article" @default.