Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569886689> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1569886689 abstract "Unique object references have many important applications in object-oriented programming. For instance, with sufficient encapsulation properties they enable safe and efficient transfer of message objects between concurrent processes. However, it is a long-standing challenge to integrate unique references into practical object-oriented programming languages. This paper introduces a new approach to external uniqueness. The idea is to use capabilities for enforcing both aliasing constraints that guarantee external uniqueness, and linear consumption of unique references. We formalize our approach as a type system, and prove a type preservation theorem. Type safety rests on an alias invariant that builds on a novel formalization of external uniqueness. We show how a capability-based type system can be used to integrate external uniqueness into widely available object- oriented programming languages. Practical experience suggests that our system allows adding uniqueness information to common collection classes in a simple and concise way." @default.
- W1569886689 created "2016-06-24" @default.
- W1569886689 creator A5044900918 @default.
- W1569886689 creator A5085410724 @default.
- W1569886689 date "2009-01-01" @default.
- W1569886689 modified "2023-09-27" @default.
- W1569886689 title "Capabilities for External Uniqueness" @default.
- W1569886689 cites W1483872283 @default.
- W1569886689 cites W1502550949 @default.
- W1569886689 cites W150412037 @default.
- W1569886689 cites W1507902915 @default.
- W1569886689 cites W1508514069 @default.
- W1569886689 cites W1515508441 @default.
- W1569886689 cites W1533109738 @default.
- W1569886689 cites W1541430579 @default.
- W1569886689 cites W1581908531 @default.
- W1569886689 cites W1978303100 @default.
- W1569886689 cites W1984689011 @default.
- W1569886689 cites W2006290442 @default.
- W1569886689 cites W2021978684 @default.
- W1569886689 cites W2028038730 @default.
- W1569886689 cites W2033348393 @default.
- W1569886689 cites W2034682896 @default.
- W1569886689 cites W2070111977 @default.
- W1569886689 cites W2070619614 @default.
- W1569886689 cites W2078862062 @default.
- W1569886689 cites W2087875803 @default.
- W1569886689 cites W2100207437 @default.
- W1569886689 cites W2123683215 @default.
- W1569886689 cites W2135868037 @default.
- W1569886689 cites W2136618368 @default.
- W1569886689 cites W2136839747 @default.
- W1569886689 cites W2137186143 @default.
- W1569886689 cites W2139672538 @default.
- W1569886689 cites W2142837069 @default.
- W1569886689 cites W2146934772 @default.
- W1569886689 cites W2155544344 @default.
- W1569886689 cites W2156428492 @default.
- W1569886689 cites W2480189323 @default.
- W1569886689 cites W46492264 @default.
- W1569886689 hasPublicationYear "2009" @default.
- W1569886689 type Work @default.
- W1569886689 sameAs 1569886689 @default.
- W1569886689 citedByCount "2" @default.
- W1569886689 countsByYear W15698866892013 @default.
- W1569886689 crossrefType "journal-article" @default.
- W1569886689 hasAuthorship W1569886689A5044900918 @default.
- W1569886689 hasAuthorship W1569886689A5085410724 @default.
- W1569886689 hasConcept C124101348 @default.
- W1569886689 hasConcept C134306372 @default.
- W1569886689 hasConcept C199360897 @default.
- W1569886689 hasConcept C2777021972 @default.
- W1569886689 hasConcept C33923547 @default.
- W1569886689 hasConcept C41008148 @default.
- W1569886689 hasConcept C46681722 @default.
- W1569886689 hasConcept C80444323 @default.
- W1569886689 hasConceptScore W1569886689C124101348 @default.
- W1569886689 hasConceptScore W1569886689C134306372 @default.
- W1569886689 hasConceptScore W1569886689C199360897 @default.
- W1569886689 hasConceptScore W1569886689C2777021972 @default.
- W1569886689 hasConceptScore W1569886689C33923547 @default.
- W1569886689 hasConceptScore W1569886689C41008148 @default.
- W1569886689 hasConceptScore W1569886689C46681722 @default.
- W1569886689 hasConceptScore W1569886689C80444323 @default.
- W1569886689 hasLocation W15698866891 @default.
- W1569886689 hasOpenAccess W1569886689 @default.
- W1569886689 hasPrimaryLocation W15698866891 @default.
- W1569886689 hasRelatedWork W114885797 @default.
- W1569886689 hasRelatedWork W181154243 @default.
- W1569886689 hasRelatedWork W1974454942 @default.
- W1569886689 hasRelatedWork W2001839929 @default.
- W1569886689 hasRelatedWork W2029512274 @default.
- W1569886689 hasRelatedWork W2094518006 @default.
- W1569886689 hasRelatedWork W2144058993 @default.
- W1569886689 hasRelatedWork W2176792676 @default.
- W1569886689 hasRelatedWork W2184414213 @default.
- W1569886689 hasRelatedWork W2565370635 @default.
- W1569886689 hasRelatedWork W2587311582 @default.
- W1569886689 hasRelatedWork W2799256502 @default.
- W1569886689 hasRelatedWork W3021966546 @default.
- W1569886689 hasRelatedWork W3043221415 @default.
- W1569886689 hasRelatedWork W3106186972 @default.
- W1569886689 hasRelatedWork W3149755570 @default.
- W1569886689 hasRelatedWork W356626890 @default.
- W1569886689 hasRelatedWork W66113185 @default.
- W1569886689 hasRelatedWork W801211882 @default.
- W1569886689 hasRelatedWork W2127663719 @default.
- W1569886689 isParatext "false" @default.
- W1569886689 isRetracted "false" @default.
- W1569886689 magId "1569886689" @default.
- W1569886689 workType "article" @default.