Matches in SemOpenAlex for { <https://semopenalex.org/work/W1604665600> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1604665600 abstract "Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with assertions. Expected properties can be specified in a parser-combinator like language. The assertions are lazy: they do not force evaluation but only examine what is evaluated by the program. They are also prompt: assertion failure is reported as early as possible. The implementation is based on lazy observations and continuation-based coroutines." @default.
- W1604665600 created "2016-06-24" @default.
- W1604665600 creator A5018345365 @default.
- W1604665600 creator A5021022617 @default.
- W1604665600 date "2007-11-20" @default.
- W1604665600 modified "2023-09-25" @default.
- W1604665600 title "Monadic, Prompt Lazy Assertions in Haskell" @default.
- W1604665600 cites W1599275252 @default.
- W1604665600 cites W1997644097 @default.
- W1604665600 cites W2038856365 @default.
- W1604665600 cites W2054111305 @default.
- W1604665600 cites W2105045857 @default.
- W1604665600 cites W2128303158 @default.
- W1604665600 cites W2139597778 @default.
- W1604665600 doi "https://doi.org/10.1007/978-3-540-76637-7_4" @default.
- W1604665600 hasPublicationYear "2007" @default.
- W1604665600 type Work @default.
- W1604665600 sameAs 1604665600 @default.
- W1604665600 citedByCount "6" @default.
- W1604665600 countsByYear W16046656002012 @default.
- W1604665600 crossrefType "book-chapter" @default.
- W1604665600 hasAuthorship W1604665600A5018345365 @default.
- W1604665600 hasAuthorship W1604665600A5021022617 @default.
- W1604665600 hasBestOaLocation W16046656002 @default.
- W1604665600 hasConcept C128099668 @default.
- W1604665600 hasConcept C186644900 @default.
- W1604665600 hasConcept C199360897 @default.
- W1604665600 hasConcept C2780624054 @default.
- W1604665600 hasConcept C40422974 @default.
- W1604665600 hasConcept C41008148 @default.
- W1604665600 hasConcept C42383842 @default.
- W1604665600 hasConcept C79678938 @default.
- W1604665600 hasConcept C88626702 @default.
- W1604665600 hasConceptScore W1604665600C128099668 @default.
- W1604665600 hasConceptScore W1604665600C186644900 @default.
- W1604665600 hasConceptScore W1604665600C199360897 @default.
- W1604665600 hasConceptScore W1604665600C2780624054 @default.
- W1604665600 hasConceptScore W1604665600C40422974 @default.
- W1604665600 hasConceptScore W1604665600C41008148 @default.
- W1604665600 hasConceptScore W1604665600C42383842 @default.
- W1604665600 hasConceptScore W1604665600C79678938 @default.
- W1604665600 hasConceptScore W1604665600C88626702 @default.
- W1604665600 hasLocation W16046656001 @default.
- W1604665600 hasLocation W16046656002 @default.
- W1604665600 hasLocation W16046656003 @default.
- W1604665600 hasOpenAccess W1604665600 @default.
- W1604665600 hasPrimaryLocation W16046656001 @default.
- W1604665600 hasRelatedWork W1467316755 @default.
- W1604665600 hasRelatedWork W1573172013 @default.
- W1604665600 hasRelatedWork W1607469218 @default.
- W1604665600 hasRelatedWork W181842068 @default.
- W1604665600 hasRelatedWork W2024717440 @default.
- W1604665600 hasRelatedWork W2111594816 @default.
- W1604665600 hasRelatedWork W2403892634 @default.
- W1604665600 hasRelatedWork W2520543580 @default.
- W1604665600 hasRelatedWork W4238823939 @default.
- W1604665600 hasRelatedWork W4253461608 @default.
- W1604665600 isParatext "false" @default.
- W1604665600 isRetracted "false" @default.
- W1604665600 magId "1604665600" @default.
- W1604665600 workType "book-chapter" @default.