Matches in SemOpenAlex for { <https://semopenalex.org/work/W2172149339> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2172149339 endingPage "511" @default.
- W2172149339 startingPage "497" @default.
- W2172149339 abstract "We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, associated with a communication channel, specifies the state transitions of a protocol and also the data types of messages associated with transitions; thus typechecking can verify both correctness of individual messages and correctness of sequences of transitions. Previously session types have mainly been studied in the context of the π-calculus; instead, our formulation is based on a multi-threaded functional language with side-effecting input/output operations. Our typing judgements statically describe dynamic changes in the types of channels, our channel types statically track aliasing, and our function types not only specify argument and result types but also describe changes in channels. We formalize the syntax, semantics and typing rules of our language, and prove subject reduction and runtime type safety theorems." @default.
- W2172149339 created "2016-06-24" @default.
- W2172149339 creator A5016342119 @default.
- W2172149339 creator A5061342406 @default.
- W2172149339 date "2004-01-01" @default.
- W2172149339 modified "2023-09-26" @default.
- W2172149339 title "Session Types for Functional Multithreading" @default.
- W2172149339 cites W1511544530 @default.
- W2172149339 cites W1602172600 @default.
- W2172149339 cites W1784055113 @default.
- W2172149339 cites W1941373452 @default.
- W2172149339 cites W1981962444 @default.
- W2172149339 cites W1995469872 @default.
- W2172149339 cites W1998070736 @default.
- W2172149339 cites W2027099721 @default.
- W2172149339 cites W2044550200 @default.
- W2172149339 cites W2070111977 @default.
- W2172149339 cites W2128932399 @default.
- W2172149339 cites W2156268601 @default.
- W2172149339 doi "https://doi.org/10.1007/978-3-540-28644-8_32" @default.
- W2172149339 hasPublicationYear "2004" @default.
- W2172149339 type Work @default.
- W2172149339 sameAs 2172149339 @default.
- W2172149339 citedByCount "38" @default.
- W2172149339 countsByYear W21721493392012 @default.
- W2172149339 countsByYear W21721493392016 @default.
- W2172149339 countsByYear W21721493392021 @default.
- W2172149339 countsByYear W21721493392022 @default.
- W2172149339 countsByYear W21721493392023 @default.
- W2172149339 crossrefType "book-chapter" @default.
- W2172149339 hasAuthorship W2172149339A5016342119 @default.
- W2172149339 hasAuthorship W2172149339A5061342406 @default.
- W2172149339 hasBestOaLocation W21721493392 @default.
- W2172149339 hasConcept C136764020 @default.
- W2172149339 hasConcept C138958017 @default.
- W2172149339 hasConcept C154945302 @default.
- W2172149339 hasConcept C156325763 @default.
- W2172149339 hasConcept C184337299 @default.
- W2172149339 hasConcept C18903297 @default.
- W2172149339 hasConcept C198370458 @default.
- W2172149339 hasConcept C199360897 @default.
- W2172149339 hasConcept C2776214188 @default.
- W2172149339 hasConcept C2777299769 @default.
- W2172149339 hasConcept C2779182362 @default.
- W2172149339 hasConcept C41008148 @default.
- W2172149339 hasConcept C42383842 @default.
- W2172149339 hasConcept C44779574 @default.
- W2172149339 hasConcept C55439883 @default.
- W2172149339 hasConcept C80444323 @default.
- W2172149339 hasConcept C86803240 @default.
- W2172149339 hasConceptScore W2172149339C136764020 @default.
- W2172149339 hasConceptScore W2172149339C138958017 @default.
- W2172149339 hasConceptScore W2172149339C154945302 @default.
- W2172149339 hasConceptScore W2172149339C156325763 @default.
- W2172149339 hasConceptScore W2172149339C184337299 @default.
- W2172149339 hasConceptScore W2172149339C18903297 @default.
- W2172149339 hasConceptScore W2172149339C198370458 @default.
- W2172149339 hasConceptScore W2172149339C199360897 @default.
- W2172149339 hasConceptScore W2172149339C2776214188 @default.
- W2172149339 hasConceptScore W2172149339C2777299769 @default.
- W2172149339 hasConceptScore W2172149339C2779182362 @default.
- W2172149339 hasConceptScore W2172149339C41008148 @default.
- W2172149339 hasConceptScore W2172149339C42383842 @default.
- W2172149339 hasConceptScore W2172149339C44779574 @default.
- W2172149339 hasConceptScore W2172149339C55439883 @default.
- W2172149339 hasConceptScore W2172149339C80444323 @default.
- W2172149339 hasConceptScore W2172149339C86803240 @default.
- W2172149339 hasLocation W21721493391 @default.
- W2172149339 hasLocation W21721493392 @default.
- W2172149339 hasOpenAccess W2172149339 @default.
- W2172149339 hasPrimaryLocation W21721493391 @default.
- W2172149339 hasRelatedWork W1575522358 @default.
- W2172149339 hasRelatedWork W2112150205 @default.
- W2172149339 hasRelatedWork W2121993468 @default.
- W2172149339 hasRelatedWork W2133420304 @default.
- W2172149339 hasRelatedWork W2156830909 @default.
- W2172149339 hasRelatedWork W2172149339 @default.
- W2172149339 hasRelatedWork W3016782088 @default.
- W2172149339 hasRelatedWork W4252649616 @default.
- W2172149339 hasRelatedWork W2584819674 @default.
- W2172149339 hasRelatedWork W2585947240 @default.
- W2172149339 isParatext "false" @default.
- W2172149339 isRetracted "false" @default.
- W2172149339 magId "2172149339" @default.
- W2172149339 workType "book-chapter" @default.