Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246195205> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4246195205 endingPage "934" @default.
- W4246195205 startingPage "917" @default.
- W4246195205 abstract "We study a novel approach to typestate-oriented programming based on the chemical metaphor: state and operations on objects are molecules of messages and state transformations are chemical reactions. This approach allows us to investigate typestate in an inherently concurrent setting, whereby objects can be accessed and modified concurrently by several processes, each potentially changing only part of their state. We introduce a simple behavioral type theory to express in a uniform way both the private and the public interfaces of objects, to describe and enforce structured object protocols consisting of possibilities, prohibitions, and obligations, and to control object sharing." @default.
- W4246195205 created "2022-05-12" @default.
- W4246195205 creator A5047065626 @default.
- W4246195205 creator A5047694866 @default.
- W4246195205 date "2015-10-23" @default.
- W4246195205 modified "2023-10-16" @default.
- W4246195205 title "The chemical approach to typestate-oriented programming" @default.
- W4246195205 cites W1778842370 @default.
- W4246195205 cites W1976607329 @default.
- W4246195205 cites W197739472 @default.
- W4246195205 cites W1981858010 @default.
- W4246195205 cites W1998344822 @default.
- W4246195205 cites W2002561159 @default.
- W4246195205 cites W2015979616 @default.
- W4246195205 cites W2019018390 @default.
- W4246195205 cites W2041639124 @default.
- W4246195205 cites W2042360145 @default.
- W4246195205 cites W2044590882 @default.
- W4246195205 cites W2046289735 @default.
- W4246195205 cites W2050942832 @default.
- W4246195205 cites W2055378322 @default.
- W4246195205 cites W2091712774 @default.
- W4246195205 cites W2094694891 @default.
- W4246195205 cites W2101509032 @default.
- W4246195205 cites W2111894887 @default.
- W4246195205 cites W2112694783 @default.
- W4246195205 cites W2118317839 @default.
- W4246195205 cites W2120854784 @default.
- W4246195205 cites W2122652528 @default.
- W4246195205 cites W2123691799 @default.
- W4246195205 cites W2124126159 @default.
- W4246195205 cites W2127435133 @default.
- W4246195205 cites W2128280268 @default.
- W4246195205 cites W2142837069 @default.
- W4246195205 cites W2156429182 @default.
- W4246195205 cites W2171043779 @default.
- W4246195205 cites W2294152467 @default.
- W4246195205 cites W4212983671 @default.
- W4246195205 cites W4232806030 @default.
- W4246195205 cites W4300173355 @default.
- W4246195205 doi "https://doi.org/10.1145/2858965.2814287" @default.
- W4246195205 hasPublicationYear "2015" @default.
- W4246195205 type Work @default.
- W4246195205 citedByCount "0" @default.
- W4246195205 crossrefType "journal-article" @default.
- W4246195205 hasAuthorship W4246195205A5047065626 @default.
- W4246195205 hasAuthorship W4246195205A5047694866 @default.
- W4246195205 hasBestOaLocation W42461952052 @default.
- W4246195205 hasConcept C111472728 @default.
- W4246195205 hasConcept C120314980 @default.
- W4246195205 hasConcept C138885662 @default.
- W4246195205 hasConcept C154945302 @default.
- W4246195205 hasConcept C199360897 @default.
- W4246195205 hasConcept C2778311575 @default.
- W4246195205 hasConcept C2780586882 @default.
- W4246195205 hasConcept C2781238097 @default.
- W4246195205 hasConcept C41008148 @default.
- W4246195205 hasConcept C41895202 @default.
- W4246195205 hasConcept C48103436 @default.
- W4246195205 hasConcept C73752529 @default.
- W4246195205 hasConcept C80444323 @default.
- W4246195205 hasConceptScore W4246195205C111472728 @default.
- W4246195205 hasConceptScore W4246195205C120314980 @default.
- W4246195205 hasConceptScore W4246195205C138885662 @default.
- W4246195205 hasConceptScore W4246195205C154945302 @default.
- W4246195205 hasConceptScore W4246195205C199360897 @default.
- W4246195205 hasConceptScore W4246195205C2778311575 @default.
- W4246195205 hasConceptScore W4246195205C2780586882 @default.
- W4246195205 hasConceptScore W4246195205C2781238097 @default.
- W4246195205 hasConceptScore W4246195205C41008148 @default.
- W4246195205 hasConceptScore W4246195205C41895202 @default.
- W4246195205 hasConceptScore W4246195205C48103436 @default.
- W4246195205 hasConceptScore W4246195205C73752529 @default.
- W4246195205 hasConceptScore W4246195205C80444323 @default.
- W4246195205 hasIssue "10" @default.
- W4246195205 hasLocation W42461952051 @default.
- W4246195205 hasLocation W42461952052 @default.
- W4246195205 hasLocation W42461952053 @default.
- W4246195205 hasLocation W42461952054 @default.
- W4246195205 hasLocation W42461952055 @default.
- W4246195205 hasLocation W42461952056 @default.
- W4246195205 hasOpenAccess W4246195205 @default.
- W4246195205 hasPrimaryLocation W42461952051 @default.
- W4246195205 hasRelatedWork W1554764448 @default.
- W4246195205 hasRelatedWork W1561560534 @default.
- W4246195205 hasRelatedWork W2118300983 @default.
- W4246195205 hasRelatedWork W2171794906 @default.
- W4246195205 hasRelatedWork W2348181611 @default.
- W4246195205 hasRelatedWork W3110420271 @default.
- W4246195205 hasRelatedWork W3161927982 @default.
- W4246195205 hasRelatedWork W4235530921 @default.
- W4246195205 hasRelatedWork W1482645738 @default.
- W4246195205 hasRelatedWork W2528467228 @default.
- W4246195205 hasVolume "50" @default.
- W4246195205 isParatext "false" @default.
- W4246195205 isRetracted "false" @default.
- W4246195205 workType "article" @default.