Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134042909> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W2134042909 endingPage "163" @default.
- W2134042909 startingPage "151" @default.
- W2134042909 abstract "A colleague told me about a multithreaded algorithm that was later reported to have a bug. I rewrote the algorithm in the + cal algorithm language, ran the TLC model checker on it, and found the error. Programs are not released without being tested; why should algorithms be published without being model checked?" @default.
- W2134042909 created "2016-06-24" @default.
- W2134042909 creator A5040623453 @default.
- W2134042909 date "2006-01-01" @default.
- W2134042909 modified "2023-10-18" @default.
- W2134042909 title "Checking a Multithreaded Algorithm with + CAL" @default.
- W2134042909 cites W1986732422 @default.
- W2134042909 cites W2132107743 @default.
- W2134042909 cites W2166115541 @default.
- W2134042909 doi "https://doi.org/10.1007/11864219_11" @default.
- W2134042909 hasPublicationYear "2006" @default.
- W2134042909 type Work @default.
- W2134042909 sameAs 2134042909 @default.
- W2134042909 citedByCount "28" @default.
- W2134042909 countsByYear W21340429092013 @default.
- W2134042909 countsByYear W21340429092014 @default.
- W2134042909 countsByYear W21340429092015 @default.
- W2134042909 countsByYear W21340429092016 @default.
- W2134042909 countsByYear W21340429092020 @default.
- W2134042909 countsByYear W21340429092021 @default.
- W2134042909 crossrefType "book-chapter" @default.
- W2134042909 hasAuthorship W2134042909A5040623453 @default.
- W2134042909 hasConcept C11413529 @default.
- W2134042909 hasConcept C173608175 @default.
- W2134042909 hasConcept C41008148 @default.
- W2134042909 hasConceptScore W2134042909C11413529 @default.
- W2134042909 hasConceptScore W2134042909C173608175 @default.
- W2134042909 hasConceptScore W2134042909C41008148 @default.
- W2134042909 hasLocation W21340429091 @default.
- W2134042909 hasOpenAccess W2134042909 @default.
- W2134042909 hasPrimaryLocation W21340429091 @default.
- W2134042909 hasRelatedWork W1509211761 @default.
- W2134042909 hasRelatedWork W1558545464 @default.
- W2134042909 hasRelatedWork W1984303163 @default.
- W2134042909 hasRelatedWork W1987204888 @default.
- W2134042909 hasRelatedWork W2117014006 @default.
- W2134042909 hasRelatedWork W2358725432 @default.
- W2134042909 hasRelatedWork W2372170743 @default.
- W2134042909 hasRelatedWork W3047022145 @default.
- W2134042909 hasRelatedWork W4233815414 @default.
- W2134042909 hasRelatedWork W99847340 @default.
- W2134042909 isParatext "false" @default.
- W2134042909 isRetracted "false" @default.
- W2134042909 magId "2134042909" @default.
- W2134042909 workType "book-chapter" @default.