FRINK Linked Data Fragments server

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

• W2164487084 abstract "Objects in many programming languages are indexed by first-class strings, not just first-order names. We define ob (“lambda sob”), an object calculus for such languages, and prove its untyped soundness using Coq. We then develop a type system for ob that is built around string pattern types, which describe (possibly infinite) collections of members. We define subtyping over such types, extend them to handle inheritance, and discuss the relationship between the two. We enrich the type system to recognize tests for whether members are present, and briefly discuss exposed inheritance chains. The resulting language permits the ascription of meaningful types to programs that exploit first-class member names for object-relational mapping, sandboxing, dictionaries, etc. We prove that well-typed programs never signal member-not-found errors, even when they use reflection and first-class member names. We briefly discuss the implementation of these types in a prototype type-checker." @default.
• W2164487084 created "2016-06-24" @default.
• W2164487084 creator A5024394821 @default.
• W2164487084 creator A5044042294 @default.
• W2164487084 creator A5062647971 @default.
• W2164487084 date "2012-01-01" @default.
• W2164487084 modified "2023-09-23" @default.
• W2164487084 title "Semantics and Types for Objects with First-Class Member Names" @default.
• W2164487084 cites W1493473453 @default.
• W2164487084 cites W1544633123 @default.
• W2164487084 cites W1554476771 @default.
• W2164487084 cites W1565656617 @default.
• W2164487084 cites W1571413858 @default.
• W2164487084 cites W1591203048 @default.
• W2164487084 cites W1675514321 @default.
• W2164487084 cites W1839269954 @default.
• W2164487084 cites W1973186567 @default.
• W2164487084 cites W1997553382 @default.
• W2164487084 cites W2006691463 @default.
• W2164487084 cites W2009989404 @default.
• W2164487084 cites W2011992237 @default.
• W2164487084 cites W2026997444 @default.
• W2164487084 cites W2030639337 @default.
• W2164487084 cites W2039468209 @default.
• W2164487084 cites W2081212007 @default.
• W2164487084 cites W2096368963 @default.
• W2164487084 cites W2118431434 @default.
• W2164487084 cites W2121417161 @default.
• W2164487084 cites W2129345992 @default.
• W2164487084 cites W2129788677 @default.
• W2164487084 cites W2135536553 @default.
• W2164487084 cites W2139672701 @default.
• W2164487084 cites W2148535470 @default.
• W2164487084 cites W2156249516 @default.
• W2164487084 cites W2157821258 @default.
• W2164487084 cites W2165046128 @default.
• W2164487084 cites W2170800927 @default.
• W2164487084 cites W2791903277 @default.
• W2164487084 hasPublicationYear "2012" @default.
• W2164487084 type Work @default.
• W2164487084 sameAs 2164487084 @default.
• W2164487084 citedByCount "3" @default.
• W2164487084 countsByYear W21644870842014 @default.
• W2164487084 countsByYear W21644870842015 @default.
• W2164487084 crossrefType "journal-article" @default.
• W2164487084 hasAuthorship W2164487084A5024394821 @default.
• W2164487084 hasAuthorship W2164487084A5044042294 @default.
• W2164487084 hasAuthorship W2164487084A5062647971 @default.
• W2164487084 hasConcept C104317684 @default.
• W2164487084 hasConcept C138885662 @default.
• W2164487084 hasConcept C154945302 @default.
• W2164487084 hasConcept C157486923 @default.
• W2164487084 hasConcept C184337299 @default.
• W2164487084 hasConcept C185592680 @default.
• W2164487084 hasConcept C18903297 @default.
• W2164487084 hasConcept C199360897 @default.
• W2164487084 hasConcept C200568363 @default.
• W2164487084 hasConcept C2777212361 @default.
• W2164487084 hasConcept C2777299769 @default.
• W2164487084 hasConcept C2779279129 @default.
• W2164487084 hasConcept C2780902518 @default.
• W2164487084 hasConcept C2781238097 @default.
• W2164487084 hasConcept C33923547 @default.
• W2164487084 hasConcept C37914503 @default.
• W2164487084 hasConcept C39920170 @default.
• W2164487084 hasConcept C41008148 @default.
• W2164487084 hasConcept C41895202 @default.
• W2164487084 hasConcept C55493867 @default.
• W2164487084 hasConcept C73752529 @default.
• W2164487084 hasConcept C86803240 @default.
• W2164487084 hasConceptScore W2164487084C104317684 @default.
• W2164487084 hasConceptScore W2164487084C138885662 @default.
• W2164487084 hasConceptScore W2164487084C154945302 @default.
• W2164487084 hasConceptScore W2164487084C157486923 @default.
• W2164487084 hasConceptScore W2164487084C184337299 @default.
• W2164487084 hasConceptScore W2164487084C185592680 @default.
• W2164487084 hasConceptScore W2164487084C18903297 @default.
• W2164487084 hasConceptScore W2164487084C199360897 @default.
• W2164487084 hasConceptScore W2164487084C200568363 @default.
• W2164487084 hasConceptScore W2164487084C2777212361 @default.
• W2164487084 hasConceptScore W2164487084C2777299769 @default.
• W2164487084 hasConceptScore W2164487084C2779279129 @default.
• W2164487084 hasConceptScore W2164487084C2780902518 @default.
• W2164487084 hasConceptScore W2164487084C2781238097 @default.
• W2164487084 hasConceptScore W2164487084C33923547 @default.
• W2164487084 hasConceptScore W2164487084C37914503 @default.
• W2164487084 hasConceptScore W2164487084C39920170 @default.
• W2164487084 hasConceptScore W2164487084C41008148 @default.
• W2164487084 hasConceptScore W2164487084C41895202 @default.
• W2164487084 hasConceptScore W2164487084C55493867 @default.
• W2164487084 hasConceptScore W2164487084C73752529 @default.
• W2164487084 hasConceptScore W2164487084C86803240 @default.
• W2164487084 hasOpenAccess W2164487084 @default.
• W2164487084 hasRelatedWork W1554476771 @default.
• W2164487084 hasRelatedWork W1588704632 @default.
• W2164487084 hasRelatedWork W1591203048 @default.
• W2164487084 hasRelatedWork W1591606341 @default.
• W2164487084 hasRelatedWork W1792817236 @default.
• W2164487084 hasRelatedWork W1839269954 @default.
• W2164487084 hasRelatedWork W1971740571 @default.

• next