FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230681750> ?p ?o ?g. }

• W4230681750 endingPage "40" @default.
• W4230681750 startingPage "21" @default.
• W4230681750 abstract "A key challenge for concurrent programming is that side-effects (memory operations) in one thread can affect the behavior of another thread. In this paper, we present a type system to restrict the updates to memory to prevent these unintended side-effects. We provide a novel combination of immutable and unique (isolated) types that ensures safe parallelism (race freedom and deterministic execution). The type system includes support for polymorphism over type qualifiers, and can easily create cycles of immutable objects. Key to the system's flexibility is the ability to recover immutable or externally unique references after violating uniqueness without any explicit alias tracking. Our type system models a prototype extension to C# that is in active use by a Microsoft team. We describe their experiences building large systems with this extension. We prove the soundness of the type system by an embedding into a program logic." @default.
• W4230681750 created "2022-05-11" @default.
• W4230681750 creator A5001725251 @default.
• W4230681750 creator A5063198520 @default.
• W4230681750 creator A5072587371 @default.
• W4230681750 creator A5074792510 @default.
• W4230681750 creator A5086463188 @default.
• W4230681750 date "2012-10-19" @default.
• W4230681750 modified "2023-10-17" @default.
• W4230681750 title "Uniqueness and reference immutability for safe parallelism" @default.
• W4230681750 cites W1502550949 @default.
• W4230681750 cites W1570380538 @default.
• W4230681750 cites W1750514695 @default.
• W4230681750 cites W1861989620 @default.
• W4230681750 cites W1871201330 @default.
• W4230681750 cites W1976247299 @default.
• W4230681750 cites W1993155808 @default.
• W4230681750 cites W1998838326 @default.
• W4230681750 cites W2006290442 @default.
• W4230681750 cites W2011917775 @default.
• W4230681750 cites W2077288840 @default.
• W4230681750 cites W2091712774 @default.
• W4230681750 cites W2096553703 @default.
• W4230681750 cites W2096675459 @default.
• W4230681750 cites W2103957752 @default.
• W4230681750 cites W2109875364 @default.
• W4230681750 cites W2120529639 @default.
• W4230681750 cites W2129133667 @default.
• W4230681750 cites W2136618368 @default.
• W4230681750 cites W2137956345 @default.
• W4230681750 cites W2142837069 @default.
• W4230681750 cites W2145029935 @default.
• W4230681750 cites W2145708265 @default.
• W4230681750 cites W2156428492 @default.
• W4230681750 cites W4231254440 @default.
• W4230681750 cites W4240363966 @default.
• W4230681750 cites W4241045451 @default.
• W4230681750 cites W4244157805 @default.
• W4230681750 cites W4247835804 @default.
• W4230681750 doi "https://doi.org/10.1145/2398857.2384619" @default.
• W4230681750 hasPublicationYear "2012" @default.
• W4230681750 type Work @default.
• W4230681750 citedByCount "18" @default.
• W4230681750 countsByYear W42306817502013 @default.
• W4230681750 countsByYear W42306817502015 @default.
• W4230681750 countsByYear W42306817502016 @default.
• W4230681750 countsByYear W42306817502017 @default.
• W4230681750 countsByYear W42306817502018 @default.
• W4230681750 countsByYear W42306817502019 @default.
• W4230681750 countsByYear W42306817502020 @default.
• W4230681750 countsByYear W42306817502021 @default.
• W4230681750 countsByYear W42306817502023 @default.
• W4230681750 crossrefType "journal-article" @default.
• W4230681750 hasAuthorship W4230681750A5001725251 @default.
• W4230681750 hasAuthorship W4230681750A5063198520 @default.
• W4230681750 hasAuthorship W4230681750A5072587371 @default.
• W4230681750 hasAuthorship W4230681750A5074792510 @default.
• W4230681750 hasAuthorship W4230681750A5086463188 @default.
• W4230681750 hasBestOaLocation W42306817502 @default.
• W4230681750 hasConcept C120314980 @default.
• W4230681750 hasConcept C134306372 @default.
• W4230681750 hasConcept C138101251 @default.
• W4230681750 hasConcept C168065819 @default.
• W4230681750 hasConcept C173608175 @default.
• W4230681750 hasConcept C193702766 @default.
• W4230681750 hasConcept C199360897 @default.
• W4230681750 hasConcept C2776126399 @default.
• W4230681750 hasConcept C2777021972 @default.
• W4230681750 hasConcept C2779687700 @default.
• W4230681750 hasConcept C33923547 @default.
• W4230681750 hasConcept C38652104 @default.
• W4230681750 hasConcept C39920170 @default.
• W4230681750 hasConcept C41008148 @default.
• W4230681750 hasConcept C46681722 @default.
• W4230681750 hasConcept C77088390 @default.
• W4230681750 hasConcept C80444323 @default.
• W4230681750 hasConceptScore W4230681750C120314980 @default.
• W4230681750 hasConceptScore W4230681750C134306372 @default.
• W4230681750 hasConceptScore W4230681750C138101251 @default.
• W4230681750 hasConceptScore W4230681750C168065819 @default.
• W4230681750 hasConceptScore W4230681750C173608175 @default.
• W4230681750 hasConceptScore W4230681750C193702766 @default.
• W4230681750 hasConceptScore W4230681750C199360897 @default.
• W4230681750 hasConceptScore W4230681750C2776126399 @default.
• W4230681750 hasConceptScore W4230681750C2777021972 @default.
• W4230681750 hasConceptScore W4230681750C2779687700 @default.
• W4230681750 hasConceptScore W4230681750C33923547 @default.
• W4230681750 hasConceptScore W4230681750C38652104 @default.
• W4230681750 hasConceptScore W4230681750C39920170 @default.
• W4230681750 hasConceptScore W4230681750C41008148 @default.
• W4230681750 hasConceptScore W4230681750C46681722 @default.
• W4230681750 hasConceptScore W4230681750C77088390 @default.
• W4230681750 hasConceptScore W4230681750C80444323 @default.
• W4230681750 hasIssue "10" @default.
• W4230681750 hasLocation W42306817501 @default.
• W4230681750 hasLocation W42306817502 @default.
• W4230681750 hasOpenAccess W4230681750 @default.
• W4230681750 hasPrimaryLocation W42306817501 @default.

• next