Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570489322> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1570489322 abstract "In this technical report we develop the operational semantics for the effective ownership based language presented in Reasoning about Inherent Parallelism in Object-Oriented Programs using Ownership Types. These developments were not presented as part of the paper for the purposes of clarity and adhering to the space limitations imposed on the paper. In this technical report we present the operational semantics for our language and then prove progress and preservation." @default.
- W1570489322 created "2016-06-24" @default.
- W1570489322 creator A5059355511 @default.
- W1570489322 date "2008-08-01" @default.
- W1570489322 modified "2023-09-26" @default.
- W1570489322 title "Operational Semantics for Object Ownership and Runtime Reasoning about Inherent Parallelism" @default.
- W1570489322 cites W1528588261 @default.
- W1570489322 hasPublicationYear "2008" @default.
- W1570489322 type Work @default.
- W1570489322 sameAs 1570489322 @default.
- W1570489322 citedByCount "0" @default.
- W1570489322 crossrefType "journal-article" @default.
- W1570489322 hasAuthorship W1570489322A5059355511 @default.
- W1570489322 hasConcept C154945302 @default.
- W1570489322 hasConcept C156325763 @default.
- W1570489322 hasConcept C173608175 @default.
- W1570489322 hasConcept C184337299 @default.
- W1570489322 hasConcept C185592680 @default.
- W1570489322 hasConcept C199360897 @default.
- W1570489322 hasConcept C2777146004 @default.
- W1570489322 hasConcept C2781172179 @default.
- W1570489322 hasConcept C2781238097 @default.
- W1570489322 hasConcept C41008148 @default.
- W1570489322 hasConcept C55493867 @default.
- W1570489322 hasConcept C80444323 @default.
- W1570489322 hasConceptScore W1570489322C154945302 @default.
- W1570489322 hasConceptScore W1570489322C156325763 @default.
- W1570489322 hasConceptScore W1570489322C173608175 @default.
- W1570489322 hasConceptScore W1570489322C184337299 @default.
- W1570489322 hasConceptScore W1570489322C185592680 @default.
- W1570489322 hasConceptScore W1570489322C199360897 @default.
- W1570489322 hasConceptScore W1570489322C2777146004 @default.
- W1570489322 hasConceptScore W1570489322C2781172179 @default.
- W1570489322 hasConceptScore W1570489322C2781238097 @default.
- W1570489322 hasConceptScore W1570489322C41008148 @default.
- W1570489322 hasConceptScore W1570489322C55493867 @default.
- W1570489322 hasConceptScore W1570489322C80444323 @default.
- W1570489322 hasLocation W15704893221 @default.
- W1570489322 hasOpenAccess W1570489322 @default.
- W1570489322 hasPrimaryLocation W15704893221 @default.
- W1570489322 hasRelatedWork W1574176610 @default.
- W1570489322 hasRelatedWork W161850839 @default.
- W1570489322 hasRelatedWork W1983346515 @default.
- W1570489322 hasRelatedWork W2044171718 @default.
- W1570489322 hasRelatedWork W2070974133 @default.
- W1570489322 hasRelatedWork W2072424345 @default.
- W1570489322 hasRelatedWork W209436825 @default.
- W1570489322 hasRelatedWork W2138387375 @default.
- W1570489322 hasRelatedWork W2161233042 @default.
- W1570489322 hasRelatedWork W2161876832 @default.
- W1570489322 hasRelatedWork W2167938659 @default.
- W1570489322 hasRelatedWork W2170557772 @default.
- W1570489322 hasRelatedWork W2185919680 @default.
- W1570489322 hasRelatedWork W2261331247 @default.
- W1570489322 hasRelatedWork W2518034196 @default.
- W1570489322 hasRelatedWork W2520127075 @default.
- W1570489322 hasRelatedWork W2604791081 @default.
- W1570489322 hasRelatedWork W2900326037 @default.
- W1570489322 hasRelatedWork W2928474899 @default.
- W1570489322 hasRelatedWork W1960394848 @default.
- W1570489322 isParatext "false" @default.
- W1570489322 isRetracted "false" @default.
- W1570489322 magId "1570489322" @default.
- W1570489322 workType "article" @default.