Matches in SemOpenAlex for { <https://semopenalex.org/work/W15696092> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W15696092 abstract "Introduction. Over the last ten years, type systems for reasoning about aliasing have begun to be adopted into mainstream languages and tools. The most obvious benefits came in the area of concurrency, expanding on pioneering work that applied ownership [8], regions [6], and permissions [9,4] to ensure the safety of concurrent programs. However, concurrency alone was insufficient to drive adoption. Aliasing type systems really caught on when researchers found common abstractions that were also useful for other purposes: providing encapsulation [17], enhancing security [7,2], and assisting verification [16,10]-though verification remains a niche application due to the engineering time required to specify and verify code." @default.
- W15696092 created "2016-06-24" @default.
- W15696092 creator A5091372985 @default.
- W15696092 date "2013-01-01" @default.
- W15696092 modified "2023-09-25" @default.
- W15696092 title "A Retrospective on Aliasing Type Systems: 2012-2022" @default.
- W15696092 cites W119146207 @default.
- W15696092 cites W1504633425 @default.
- W15696092 cites W1711395388 @default.
- W15696092 cites W2064595642 @default.
- W15696092 cites W2074563583 @default.
- W15696092 cites W2092378729 @default.
- W15696092 cites W2118004641 @default.
- W15696092 cites W2122291521 @default.
- W15696092 cites W2136839747 @default.
- W15696092 cites W2152137362 @default.
- W15696092 cites W2156428492 @default.
- W15696092 cites W4244157805 @default.
- W15696092 cites W4245729501 @default.
- W15696092 cites W4254551474 @default.
- W15696092 doi "https://doi.org/10.1007/978-3-642-36946-9_21" @default.
- W15696092 hasPublicationYear "2013" @default.
- W15696092 type Work @default.
- W15696092 sameAs 15696092 @default.
- W15696092 citedByCount "0" @default.
- W15696092 crossrefType "book-chapter" @default.
- W15696092 hasAuthorship W15696092A5091372985 @default.
- W15696092 hasConcept C115903868 @default.
- W15696092 hasConcept C136536468 @default.
- W15696092 hasConcept C138885662 @default.
- W15696092 hasConcept C154945302 @default.
- W15696092 hasConcept C193702766 @default.
- W15696092 hasConcept C199360897 @default.
- W15696092 hasConcept C27206212 @default.
- W15696092 hasConcept C2777617010 @default.
- W15696092 hasConcept C4069607 @default.
- W15696092 hasConcept C41008148 @default.
- W15696092 hasConceptScore W15696092C115903868 @default.
- W15696092 hasConceptScore W15696092C136536468 @default.
- W15696092 hasConceptScore W15696092C138885662 @default.
- W15696092 hasConceptScore W15696092C154945302 @default.
- W15696092 hasConceptScore W15696092C193702766 @default.
- W15696092 hasConceptScore W15696092C199360897 @default.
- W15696092 hasConceptScore W15696092C27206212 @default.
- W15696092 hasConceptScore W15696092C2777617010 @default.
- W15696092 hasConceptScore W15696092C4069607 @default.
- W15696092 hasConceptScore W15696092C41008148 @default.
- W15696092 hasLocation W156960921 @default.
- W15696092 hasOpenAccess W15696092 @default.
- W15696092 hasPrimaryLocation W156960921 @default.
- W15696092 hasRelatedWork W1558960833 @default.
- W15696092 hasRelatedWork W1571548985 @default.
- W15696092 hasRelatedWork W1585202549 @default.
- W15696092 hasRelatedWork W187781385 @default.
- W15696092 hasRelatedWork W1932816805 @default.
- W15696092 hasRelatedWork W1994933038 @default.
- W15696092 hasRelatedWork W2040252255 @default.
- W15696092 hasRelatedWork W2063750769 @default.
- W15696092 hasRelatedWork W2064040413 @default.
- W15696092 hasRelatedWork W2103982836 @default.
- W15696092 hasRelatedWork W2110562470 @default.
- W15696092 hasRelatedWork W2122328859 @default.
- W15696092 hasRelatedWork W2136077878 @default.
- W15696092 hasRelatedWork W2161266370 @default.
- W15696092 hasRelatedWork W2285025585 @default.
- W15696092 hasRelatedWork W241408065 @default.
- W15696092 hasRelatedWork W2738859397 @default.
- W15696092 hasRelatedWork W2762317461 @default.
- W15696092 hasRelatedWork W2768017175 @default.
- W15696092 hasRelatedWork W3168099501 @default.
- W15696092 isParatext "false" @default.
- W15696092 isRetracted "false" @default.
- W15696092 magId "15696092" @default.
- W15696092 workType "book-chapter" @default.