Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995065158> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1995065158 abstract "We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until they terminate or explicitly yield control. We define and study a trace-based denotational semantics for this language; this semantics is fully abstract but mathematically elementary. We also give an equational theory for the computational effects that underlie the language, including thread spawning. We then analyze threads in terms of the free algebra monad for this theory." @default.
- W1995065158 created "2016-06-24" @default.
- W1995065158 creator A5061767913 @default.
- W1995065158 creator A5070609290 @default.
- W1995065158 date "2009-01-21" @default.
- W1995065158 modified "2023-10-03" @default.
- W1995065158 title "A model of cooperative threads" @default.
- W1995065158 cites W1513814679 @default.
- W1995065158 cites W1539804543 @default.
- W1995065158 cites W1606211906 @default.
- W1995065158 cites W1965724121 @default.
- W1995065158 cites W1980827618 @default.
- W1995065158 cites W2019250772 @default.
- W1995065158 cites W2071558233 @default.
- W1995065158 cites W2080942132 @default.
- W1995065158 cites W2086512828 @default.
- W1995065158 cites W2092911542 @default.
- W1995065158 cites W2113109742 @default.
- W1995065158 cites W2129990308 @default.
- W1995065158 cites W2147218830 @default.
- W1995065158 cites W2155512712 @default.
- W1995065158 cites W2156335201 @default.
- W1995065158 cites W2157995936 @default.
- W1995065158 cites W2167290885 @default.
- W1995065158 cites W2170114248 @default.
- W1995065158 cites W3182437156 @default.
- W1995065158 cites W375614154 @default.
- W1995065158 cites W4234924236 @default.
- W1995065158 cites W4252120627 @default.
- W1995065158 doi "https://doi.org/10.1145/1480881.1480887" @default.
- W1995065158 hasPublicationYear "2009" @default.
- W1995065158 type Work @default.
- W1995065158 sameAs 1995065158 @default.
- W1995065158 citedByCount "27" @default.
- W1995065158 countsByYear W19950651582012 @default.
- W1995065158 countsByYear W19950651582014 @default.
- W1995065158 countsByYear W19950651582015 @default.
- W1995065158 countsByYear W19950651582016 @default.
- W1995065158 countsByYear W19950651582017 @default.
- W1995065158 countsByYear W19950651582018 @default.
- W1995065158 countsByYear W19950651582019 @default.
- W1995065158 countsByYear W19950651582021 @default.
- W1995065158 crossrefType "proceedings-article" @default.
- W1995065158 hasAuthorship W1995065158A5061767913 @default.
- W1995065158 hasAuthorship W1995065158A5070609290 @default.
- W1995065158 hasBestOaLocation W19950651582 @default.
- W1995065158 hasConcept C199360897 @default.
- W1995065158 hasConcept C41008148 @default.
- W1995065158 hasConceptScore W1995065158C199360897 @default.
- W1995065158 hasConceptScore W1995065158C41008148 @default.
- W1995065158 hasLocation W19950651581 @default.
- W1995065158 hasLocation W19950651582 @default.
- W1995065158 hasLocation W19950651583 @default.
- W1995065158 hasLocation W19950651584 @default.
- W1995065158 hasLocation W19950651585 @default.
- W1995065158 hasLocation W19950651586 @default.
- W1995065158 hasOpenAccess W1995065158 @default.
- W1995065158 hasPrimaryLocation W19950651581 @default.
- W1995065158 hasRelatedWork W2013111119 @default.
- W1995065158 hasRelatedWork W2047793074 @default.
- W1995065158 hasRelatedWork W2112962394 @default.
- W1995065158 hasRelatedWork W2118300983 @default.
- W1995065158 hasRelatedWork W2382501300 @default.
- W1995065158 hasRelatedWork W3137189469 @default.
- W1995065158 hasRelatedWork W3162240892 @default.
- W1995065158 hasRelatedWork W4235530921 @default.
- W1995065158 hasRelatedWork W4243252198 @default.
- W1995065158 hasRelatedWork W4245713008 @default.
- W1995065158 isParatext "false" @default.
- W1995065158 isRetracted "false" @default.
- W1995065158 magId "1995065158" @default.
- W1995065158 workType "article" @default.