FRINK Linked Data Fragments server

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

• W4235868899 endingPage "54" @default.
• W4235868899 startingPage "41" @default.
• W4235868899 abstract "Many substructural type systems have been proposed for controlling access to shared state in higher-order languages. Central to these systems is the notion of a *resource*, which may be split into disjoint pieces that different parts of a program can manipulate independently without worrying about interfering with one another. Some systems support a *logical* notion of resource (such as permissions), under which two resources may be considered disjoint even if they govern the *same* piece of state. However, in nearly all existing systems, the notions of resource and disjointness are fixed at the outset, baked into the model of the language, and fairly coarse-grained in the kinds of sharing they enable. In this paper, inspired by recent work on fictional disjointness in separation logic, we propose a simple and flexible way of enabling any module in a program to create its own custom type of splittable resource (represented as a commutative monoid), thus providing fine-grained control over how the module's private state is shared with its clients. This functionality can be incorporated into an otherwise standard substructural type system by means of a new typing rule we call *the sharing rule*, whose soundness we prove semantically via a novel resource-oriented Kripke logical relation." @default.
• W4235868899 created "2022-05-12" @default.
• W4235868899 creator A5007171282 @default.
• W4235868899 creator A5026719321 @default.
• W4235868899 creator A5050585539 @default.
• W4235868899 creator A5089290356 @default.
• W4235868899 date "2012-09-09" @default.
• W4235868899 modified "2023-10-17" @default.
• W4235868899 title "Superficially substructural types" @default.
• W4235868899 cites W1508098446 @default.
• W4235868899 cites W1552367747 @default.
• W4235868899 cites W1657920802 @default.
• W4235868899 cites W1861989620 @default.
• W4235868899 cites W1981382949 @default.
• W4235868899 cites W1990409169 @default.
• W4235868899 cites W1998070736 @default.
• W4235868899 cites W2005192022 @default.
• W4235868899 cites W2035383849 @default.
• W4235868899 cites W2044590882 @default.
• W4235868899 cites W2070111977 @default.
• W4235868899 cites W2087875803 @default.
• W4235868899 cites W2100559921 @default.
• W4235868899 cites W2111593536 @default.
• W4235868899 cites W2135365827 @default.
• W4235868899 cites W2136739578 @default.
• W4235868899 cites W2142837069 @default.
• W4235868899 cites W2143661661 @default.
• W4235868899 cites W2144058993 @default.
• W4235868899 cites W2145029935 @default.
• W4235868899 cites W2148687959 @default.
• W4235868899 cites W2151836690 @default.
• W4235868899 cites W2153128836 @default.
• W4235868899 cites W2154768716 @default.
• W4235868899 cites W2171685273 @default.
• W4235868899 cites W2911865844 @default.
• W4235868899 cites W3028779248 @default.
• W4235868899 cites W4229652664 @default.
• W4235868899 doi "https://doi.org/10.1145/2398856.2364536" @default.
• W4235868899 hasPublicationYear "2012" @default.
• W4235868899 type Work @default.
• W4235868899 citedByCount "4" @default.
• W4235868899 countsByYear W42358688992013 @default.
• W4235868899 countsByYear W42358688992017 @default.
• W4235868899 countsByYear W42358688992021 @default.
• W4235868899 crossrefType "journal-article" @default.
• W4235868899 hasAuthorship W4235868899A5007171282 @default.
• W4235868899 hasAuthorship W4235868899A5026719321 @default.
• W4235868899 hasAuthorship W4235868899A5050585539 @default.
• W4235868899 hasAuthorship W4235868899A5089290356 @default.
• W4235868899 hasConcept C118615104 @default.
• W4235868899 hasConcept C183778304 @default.
• W4235868899 hasConcept C18903297 @default.
• W4235868899 hasConcept C199360897 @default.
• W4235868899 hasConcept C206345919 @default.
• W4235868899 hasConcept C2777299769 @default.
• W4235868899 hasConcept C31258907 @default.
• W4235868899 hasConcept C33923547 @default.
• W4235868899 hasConcept C39920170 @default.
• W4235868899 hasConcept C41008148 @default.
• W4235868899 hasConcept C45340560 @default.
• W4235868899 hasConcept C48103436 @default.
• W4235868899 hasConcept C51332947 @default.
• W4235868899 hasConcept C80444323 @default.
• W4235868899 hasConcept C86803240 @default.
• W4235868899 hasConcept C93682546 @default.
• W4235868899 hasConceptScore W4235868899C118615104 @default.
• W4235868899 hasConceptScore W4235868899C183778304 @default.
• W4235868899 hasConceptScore W4235868899C18903297 @default.
• W4235868899 hasConceptScore W4235868899C199360897 @default.
• W4235868899 hasConceptScore W4235868899C206345919 @default.
• W4235868899 hasConceptScore W4235868899C2777299769 @default.
• W4235868899 hasConceptScore W4235868899C31258907 @default.
• W4235868899 hasConceptScore W4235868899C33923547 @default.
• W4235868899 hasConceptScore W4235868899C39920170 @default.
• W4235868899 hasConceptScore W4235868899C41008148 @default.
• W4235868899 hasConceptScore W4235868899C45340560 @default.
• W4235868899 hasConceptScore W4235868899C48103436 @default.
• W4235868899 hasConceptScore W4235868899C51332947 @default.
• W4235868899 hasConceptScore W4235868899C80444323 @default.
• W4235868899 hasConceptScore W4235868899C86803240 @default.
• W4235868899 hasConceptScore W4235868899C93682546 @default.
• W4235868899 hasIssue "9" @default.
• W4235868899 hasLocation W42358688991 @default.
• W4235868899 hasOpenAccess W4235868899 @default.
• W4235868899 hasPrimaryLocation W42358688991 @default.
• W4235868899 hasRelatedWork W167390183 @default.
• W4235868899 hasRelatedWork W1851509138 @default.
• W4235868899 hasRelatedWork W1965602413 @default.
• W4235868899 hasRelatedWork W1981795987 @default.
• W4235868899 hasRelatedWork W2014334120 @default.
• W4235868899 hasRelatedWork W2130016344 @default.
• W4235868899 hasRelatedWork W2159377125 @default.
• W4235868899 hasRelatedWork W2169776427 @default.
• W4235868899 hasRelatedWork W2563305175 @default.
• W4235868899 hasRelatedWork W4237428255 @default.
• W4235868899 hasVolume "47" @default.
• W4235868899 isParatext "false" @default.
• W4235868899 isRetracted "false" @default.

• next