Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297830949> ?p ?o ?g. }
- W4297830949 endingPage "55" @default.
- W4297830949 startingPage "1" @default.
- W4297830949 abstract "We present ParTypes , a type discipline for parallel programs. The model we have in mind comprises a fixed number of processes running in parallel and communicating via collective operations or point-to-point synchronous message exchanges. A type describes a protocol to be followed by each processes in a given program. We present the type theory, a core imperative programming language and its operational semantics, and prove that type checking is decidable (up to decidability of semantic entailment) and that well-typed programs do not deadlock and always terminate. The article is accompanied by a large number of examples drawn from the literature on parallel programming." @default.
- W4297830949 created "2022-10-01" @default.
- W4297830949 creator A5007123356 @default.
- W4297830949 creator A5016342119 @default.
- W4297830949 creator A5087594010 @default.
- W4297830949 creator A5088420621 @default.
- W4297830949 date "2022-12-21" @default.
- W4297830949 modified "2023-10-02" @default.
- W4297830949 title "A Type Discipline for Message Passing Parallel Programs" @default.
- W4297830949 cites W127832157 @default.
- W4297830949 cites W1585111997 @default.
- W4297830949 cites W1595465781 @default.
- W4297830949 cites W1941373452 @default.
- W4297830949 cites W1970171046 @default.
- W4297830949 cites W1970789400 @default.
- W4297830949 cites W1978898818 @default.
- W4297830949 cites W1982492802 @default.
- W4297830949 cites W1991621238 @default.
- W4297830949 cites W2003314287 @default.
- W4297830949 cites W2023489866 @default.
- W4297830949 cites W2036676170 @default.
- W4297830949 cites W2040105559 @default.
- W4297830949 cites W2063362342 @default.
- W4297830949 cites W2064051034 @default.
- W4297830949 cites W2076384838 @default.
- W4297830949 cites W2076653850 @default.
- W4297830949 cites W2088962847 @default.
- W4297830949 cites W2101085206 @default.
- W4297830949 cites W2114877704 @default.
- W4297830949 cites W2146412016 @default.
- W4297830949 cites W216355022 @default.
- W4297830949 cites W2267469130 @default.
- W4297830949 cites W2273799252 @default.
- W4297830949 cites W2325347394 @default.
- W4297830949 cites W2460202555 @default.
- W4297830949 cites W2475400411 @default.
- W4297830949 cites W2549993418 @default.
- W4297830949 cites W2556273741 @default.
- W4297830949 cites W2594993942 @default.
- W4297830949 cites W2611400710 @default.
- W4297830949 cites W2620231412 @default.
- W4297830949 cites W2749582297 @default.
- W4297830949 cites W2899725893 @default.
- W4297830949 cites W2906701300 @default.
- W4297830949 cites W2962736185 @default.
- W4297830949 cites W2963335587 @default.
- W4297830949 cites W2999878536 @default.
- W4297830949 cites W3005135768 @default.
- W4297830949 cites W3042159823 @default.
- W4297830949 cites W3107309644 @default.
- W4297830949 cites W3144592206 @default.
- W4297830949 cites W3204377206 @default.
- W4297830949 cites W4232179476 @default.
- W4297830949 cites W4288075881 @default.
- W4297830949 doi "https://doi.org/10.1145/3552519" @default.
- W4297830949 hasPublicationYear "2022" @default.
- W4297830949 type Work @default.
- W4297830949 citedByCount "1" @default.
- W4297830949 countsByYear W42978309492023 @default.
- W4297830949 crossrefType "journal-article" @default.
- W4297830949 hasAuthorship W4297830949A5007123356 @default.
- W4297830949 hasAuthorship W4297830949A5016342119 @default.
- W4297830949 hasAuthorship W4297830949A5087594010 @default.
- W4297830949 hasAuthorship W4297830949A5088420621 @default.
- W4297830949 hasBestOaLocation W42978309491 @default.
- W4297830949 hasConcept C142724271 @default.
- W4297830949 hasConcept C144745244 @default.
- W4297830949 hasConcept C153269930 @default.
- W4297830949 hasConcept C156325763 @default.
- W4297830949 hasConcept C159023740 @default.
- W4297830949 hasConcept C173608175 @default.
- W4297830949 hasConcept C184337299 @default.
- W4297830949 hasConcept C18903297 @default.
- W4297830949 hasConcept C199360897 @default.
- W4297830949 hasConcept C204787440 @default.
- W4297830949 hasConcept C2777299769 @default.
- W4297830949 hasConcept C2780385302 @default.
- W4297830949 hasConcept C31258907 @default.
- W4297830949 hasConcept C41008148 @default.
- W4297830949 hasConcept C44779574 @default.
- W4297830949 hasConcept C71924100 @default.
- W4297830949 hasConcept C80444323 @default.
- W4297830949 hasConcept C854659 @default.
- W4297830949 hasConcept C86803240 @default.
- W4297830949 hasConcept C93682546 @default.
- W4297830949 hasConceptScore W4297830949C142724271 @default.
- W4297830949 hasConceptScore W4297830949C144745244 @default.
- W4297830949 hasConceptScore W4297830949C153269930 @default.
- W4297830949 hasConceptScore W4297830949C156325763 @default.
- W4297830949 hasConceptScore W4297830949C159023740 @default.
- W4297830949 hasConceptScore W4297830949C173608175 @default.
- W4297830949 hasConceptScore W4297830949C184337299 @default.
- W4297830949 hasConceptScore W4297830949C18903297 @default.
- W4297830949 hasConceptScore W4297830949C199360897 @default.
- W4297830949 hasConceptScore W4297830949C204787440 @default.
- W4297830949 hasConceptScore W4297830949C2777299769 @default.
- W4297830949 hasConceptScore W4297830949C2780385302 @default.
- W4297830949 hasConceptScore W4297830949C31258907 @default.