Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313563792> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4313563792 abstract "Channel-based concurrency is a widely used alternative to shared-memory concurrency but is difficult to use correctly. Common programming errors may result in blocked threads that wait indefinitely. Recent work exposes this as a considerable problem in Go programs and shows that many such errors can be detected automatically using SMT encoding and dynamic analysis techniques." @default.
- W4313563792 created "2023-01-06" @default.
- W4313563792 creator A5035782346 @default.
- W4313563792 creator A5040260785 @default.
- W4313563792 creator A5076644461 @default.
- W4313563792 date "2022-10-10" @default.
- W4313563792 modified "2023-10-15" @default.
- W4313563792 title "Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation" @default.
- W4313563792 cites W2043100293 @default.
- W4313563792 cites W2053152889 @default.
- W4313563792 cites W2115309705 @default.
- W4313563792 cites W2296352734 @default.
- W4313563792 cites W2508576555 @default.
- W4313563792 cites W2547963919 @default.
- W4313563792 cites W2564372592 @default.
- W4313563792 cites W2795275488 @default.
- W4313563792 cites W2930652247 @default.
- W4313563792 cites W3014888290 @default.
- W4313563792 cites W3156367898 @default.
- W4313563792 cites W4206838052 @default.
- W4313563792 cites W4214757745 @default.
- W4313563792 cites W4250522981 @default.
- W4313563792 cites W4251478049 @default.
- W4313563792 doi "https://doi.org/10.1145/3551349.3561154" @default.
- W4313563792 hasPublicationYear "2022" @default.
- W4313563792 type Work @default.
- W4313563792 citedByCount "1" @default.
- W4313563792 countsByYear W43135637922023 @default.
- W4313563792 crossrefType "proceedings-article" @default.
- W4313563792 hasAuthorship W4313563792A5035782346 @default.
- W4313563792 hasAuthorship W4313563792A5040260785 @default.
- W4313563792 hasAuthorship W4313563792A5076644461 @default.
- W4313563792 hasBestOaLocation W43135637921 @default.
- W4313563792 hasConcept C11413529 @default.
- W4313563792 hasConcept C120314980 @default.
- W4313563792 hasConcept C125411270 @default.
- W4313563792 hasConcept C144745244 @default.
- W4313563792 hasConcept C154945302 @default.
- W4313563792 hasConcept C173608175 @default.
- W4313563792 hasConcept C193702766 @default.
- W4313563792 hasConcept C199360897 @default.
- W4313563792 hasConcept C2780654840 @default.
- W4313563792 hasConcept C31258907 @default.
- W4313563792 hasConcept C41008148 @default.
- W4313563792 hasConcept C527412718 @default.
- W4313563792 hasConcept C75949130 @default.
- W4313563792 hasConcept C80444323 @default.
- W4313563792 hasConcept C84511453 @default.
- W4313563792 hasConceptScore W4313563792C11413529 @default.
- W4313563792 hasConceptScore W4313563792C120314980 @default.
- W4313563792 hasConceptScore W4313563792C125411270 @default.
- W4313563792 hasConceptScore W4313563792C144745244 @default.
- W4313563792 hasConceptScore W4313563792C154945302 @default.
- W4313563792 hasConceptScore W4313563792C173608175 @default.
- W4313563792 hasConceptScore W4313563792C193702766 @default.
- W4313563792 hasConceptScore W4313563792C199360897 @default.
- W4313563792 hasConceptScore W4313563792C2780654840 @default.
- W4313563792 hasConceptScore W4313563792C31258907 @default.
- W4313563792 hasConceptScore W4313563792C41008148 @default.
- W4313563792 hasConceptScore W4313563792C527412718 @default.
- W4313563792 hasConceptScore W4313563792C75949130 @default.
- W4313563792 hasConceptScore W4313563792C80444323 @default.
- W4313563792 hasConceptScore W4313563792C84511453 @default.
- W4313563792 hasLocation W43135637921 @default.
- W4313563792 hasOpenAccess W4313563792 @default.
- W4313563792 hasPrimaryLocation W43135637921 @default.
- W4313563792 hasRelatedWork W1534538615 @default.
- W4313563792 hasRelatedWork W1992079058 @default.
- W4313563792 hasRelatedWork W2105856903 @default.
- W4313563792 hasRelatedWork W2139633925 @default.
- W4313563792 hasRelatedWork W2172022734 @default.
- W4313563792 hasRelatedWork W2371976517 @default.
- W4313563792 hasRelatedWork W2380952560 @default.
- W4313563792 hasRelatedWork W2899486387 @default.
- W4313563792 hasRelatedWork W4206956498 @default.
- W4313563792 hasRelatedWork W4313563792 @default.
- W4313563792 isParatext "false" @default.
- W4313563792 isRetracted "false" @default.
- W4313563792 workType "article" @default.