Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143661661> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2143661661 abstract "The concept of a object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects make it possible to perform operations that would otherwise be prohibited (e.g., deallocating an object) or to ensure that some obligation will be met (e.g., an opened file will be closed). However, different languages provide different interpretations of uniqueness and have different rules regarding how unique objects interact with the rest of the language.Our goal is to establish a common model that supports each of these languages, by allowing us to encode and study the interactions of the different forms of uniqueness. The model we provide is based on a substructural variant of the polymorphic λ-calculus, augmented with four kinds of mutable references: unrestricted, relevant, affine, and linear. The language has a natural operational semantics that supports deallocation of references, strong (type-varying) updates, and storage of unique objects in shared references. We establish the strong soundness of the type system by constructing a novel, semantic interpretation of the types." @default.
- W2143661661 created "2016-06-24" @default.
- W2143661661 creator A5029478793 @default.
- W2143661661 creator A5064972235 @default.
- W2143661661 creator A5084250644 @default.
- W2143661661 date "2005-09-12" @default.
- W2143661661 modified "2023-10-17" @default.
- W2143661661 title "A step-indexed model of substructural state" @default.
- W2143661661 cites W1773735832 @default.
- W2143661661 cites W1976247299 @default.
- W2143661661 cites W1991984504 @default.
- W2143661661 cites W1992868830 @default.
- W2143661661 cites W1998070736 @default.
- W2143661661 cites W2011648260 @default.
- W2143661661 cites W2027099721 @default.
- W2143661661 cites W2028038730 @default.
- W2143661661 cites W2044507549 @default.
- W2143661661 cites W2050907089 @default.
- W2143661661 cites W2065096174 @default.
- W2143661661 cites W2092234164 @default.
- W2143661661 cites W2123683215 @default.
- W2143661661 cites W2142837069 @default.
- W2143661661 cites W2155397441 @default.
- W2143661661 cites W2911865844 @default.
- W2143661661 cites W4214630400 @default.
- W2143661661 cites W4256027310 @default.
- W2143661661 doi "https://doi.org/10.1145/1086365.1086376" @default.
- W2143661661 hasPublicationYear "2005" @default.
- W2143661661 type Work @default.
- W2143661661 sameAs 2143661661 @default.
- W2143661661 citedByCount "34" @default.
- W2143661661 countsByYear W21436616612012 @default.
- W2143661661 countsByYear W21436616612013 @default.
- W2143661661 countsByYear W21436616612014 @default.
- W2143661661 countsByYear W21436616612015 @default.
- W2143661661 countsByYear W21436616612016 @default.
- W2143661661 countsByYear W21436616612017 @default.
- W2143661661 countsByYear W21436616612019 @default.
- W2143661661 countsByYear W21436616612021 @default.
- W2143661661 crossrefType "proceedings-article" @default.
- W2143661661 hasAuthorship W2143661661A5029478793 @default.
- W2143661661 hasAuthorship W2143661661A5064972235 @default.
- W2143661661 hasAuthorship W2143661661A5084250644 @default.
- W2143661661 hasBestOaLocation W21436616612 @default.
- W2143661661 hasConcept C11413529 @default.
- W2143661661 hasConcept C41008148 @default.
- W2143661661 hasConcept C48103436 @default.
- W2143661661 hasConceptScore W2143661661C11413529 @default.
- W2143661661 hasConceptScore W2143661661C41008148 @default.
- W2143661661 hasConceptScore W2143661661C48103436 @default.
- W2143661661 hasLocation W21436616611 @default.
- W2143661661 hasLocation W21436616612 @default.
- W2143661661 hasOpenAccess W2143661661 @default.
- W2143661661 hasPrimaryLocation W21436616611 @default.
- W2143661661 hasRelatedWork W1596801655 @default.
- W2143661661 hasRelatedWork W2130043461 @default.
- W2143661661 hasRelatedWork W2350741829 @default.
- W2143661661 hasRelatedWork W2358668433 @default.
- W2143661661 hasRelatedWork W2376932109 @default.
- W2143661661 hasRelatedWork W2382290278 @default.
- W2143661661 hasRelatedWork W2390279801 @default.
- W2143661661 hasRelatedWork W2748952813 @default.
- W2143661661 hasRelatedWork W2899084033 @default.
- W2143661661 hasRelatedWork W2530322880 @default.
- W2143661661 isParatext "false" @default.
- W2143661661 isRetracted "false" @default.
- W2143661661 magId "2143661661" @default.
- W2143661661 workType "article" @default.