FRINK Linked Data Fragments server

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

• W2069139220 abstract "We present a generic analysis approach to the imperative relationship update problem, in which destructive updates temporarily violate a global invariant of interest. Such invariants can be conveniently and concisely specified with dependent refinement types, which are efficient to check flow-insensitively. Unfortunately, while traditional flow-insensitive type checking is fast, it is inapplicable when the desired invariants can be temporarily broken. To overcome this limitation, past works have directly ratcheted up the complexity of the type analysis and associated type invariants, leading to inefficient analysis and verbose specifications. In contrast, we propose a generic lifting of modular refinement type analyses with a symbolic analysis to efficiently and effectively check concise invariants that hold almost everywhere. The result is an efficient, highly modular flow-insensitive type analysis to optimistically check the preservation of global relationship invariants that can fall back to a precise, disjunctive symbolic analysis when the optimistic assumption is violated. This technique permits programmers to temporarily break and then re-establish relationship invariants--a flexibility that is crucial for checking relationships in real-world, imperative languages. A significant challenge is selectively violating the global type consistency invariant over heap locations, which we achieve via almost type-consistent heaps. To evaluate our approach, we have encoded the problem of verifying the safety of reflective method calls in dynamic languages as a refinement type checking problem. Our analysis is capable of validating reflective call safety at interactive speeds on commonly-used Objective-C libraries and applications." @default.
• W2069139220 created "2016-06-24" @default.
• W2069139220 creator A5048756174 @default.
• W2069139220 creator A5085918141 @default.
• W2069139220 date "2014-01-08" @default.
• W2069139220 modified "2023-10-05" @default.
• W2069139220 title "Fissile type analysis" @default.
• W2069139220 cites W1508811155 @default.
• W2069139220 cites W1809751277 @default.
• W2069139220 cites W1968678619 @default.
• W2069139220 cites W1973186567 @default.
• W2069139220 cites W2005192022 @default.
• W2069139220 cites W2013050211 @default.
• W2069139220 cites W2014764321 @default.
• W2069139220 cites W2030697178 @default.
• W2069139220 cites W2043100293 @default.
• W2069139220 cites W2097698142 @default.
• W2069139220 cites W2101085206 @default.
• W2069139220 cites W2108185070 @default.
• W2069139220 cites W2108341399 @default.
• W2069139220 cites W2125357166 @default.
• W2069139220 cites W2128963089 @default.
• W2069139220 cites W2130162474 @default.
• W2069139220 cites W2133824159 @default.
• W2069139220 cites W2141210774 @default.
• W2069139220 cites W2142837069 @default.
• W2069139220 cites W2144789370 @default.
• W2069139220 cites W2147492162 @default.
• W2069139220 cites W2149469095 @default.
• W2069139220 cites W2154985136 @default.
• W2069139220 cites W2157220115 @default.
• W2069139220 cites W2167363133 @default.
• W2069139220 cites W2295923951 @default.
• W2069139220 cites W4214630400 @default.
• W2069139220 cites W4237492309 @default.
• W2069139220 cites W4249990212 @default.
• W2069139220 doi "https://doi.org/10.1145/2535838.2535855" @default.
• W2069139220 hasPublicationYear "2014" @default.
• W2069139220 type Work @default.
• W2069139220 sameAs 2069139220 @default.
• W2069139220 citedByCount "5" @default.
• W2069139220 countsByYear W20691392202015 @default.
• W2069139220 countsByYear W20691392202019 @default.
• W2069139220 countsByYear W20691392202023 @default.
• W2069139220 crossrefType "proceedings-article" @default.
• W2069139220 hasAuthorship W2069139220A5048756174 @default.
• W2069139220 hasAuthorship W2069139220A5085918141 @default.
• W2069139220 hasConcept C101468663 @default.
• W2069139220 hasConcept C110251889 @default.
• W2069139220 hasConcept C154945302 @default.
• W2069139220 hasConcept C160191386 @default.
• W2069139220 hasConcept C18903297 @default.
• W2069139220 hasConcept C190470478 @default.
• W2069139220 hasConcept C199360897 @default.
• W2069139220 hasConcept C2776436953 @default.
• W2069139220 hasConcept C2777299769 @default.
• W2069139220 hasConcept C2777904410 @default.
• W2069139220 hasConcept C2779639559 @default.
• W2069139220 hasConcept C2780654840 @default.
• W2069139220 hasConcept C33923547 @default.
• W2069139220 hasConcept C37914503 @default.
• W2069139220 hasConcept C41008148 @default.
• W2069139220 hasConcept C80444323 @default.
• W2069139220 hasConcept C86803240 @default.
• W2069139220 hasConcept C93682546 @default.
• W2069139220 hasConcept C97686452 @default.
• W2069139220 hasConcept C98183937 @default.
• W2069139220 hasConceptScore W2069139220C101468663 @default.
• W2069139220 hasConceptScore W2069139220C110251889 @default.
• W2069139220 hasConceptScore W2069139220C154945302 @default.
• W2069139220 hasConceptScore W2069139220C160191386 @default.
• W2069139220 hasConceptScore W2069139220C18903297 @default.
• W2069139220 hasConceptScore W2069139220C190470478 @default.
• W2069139220 hasConceptScore W2069139220C199360897 @default.
• W2069139220 hasConceptScore W2069139220C2776436953 @default.
• W2069139220 hasConceptScore W2069139220C2777299769 @default.
• W2069139220 hasConceptScore W2069139220C2777904410 @default.
• W2069139220 hasConceptScore W2069139220C2779639559 @default.
• W2069139220 hasConceptScore W2069139220C2780654840 @default.
• W2069139220 hasConceptScore W2069139220C33923547 @default.
• W2069139220 hasConceptScore W2069139220C37914503 @default.
• W2069139220 hasConceptScore W2069139220C41008148 @default.
• W2069139220 hasConceptScore W2069139220C80444323 @default.
• W2069139220 hasConceptScore W2069139220C86803240 @default.
• W2069139220 hasConceptScore W2069139220C93682546 @default.
• W2069139220 hasConceptScore W2069139220C97686452 @default.
• W2069139220 hasConceptScore W2069139220C98183937 @default.
• W2069139220 hasLocation W20691392201 @default.
• W2069139220 hasOpenAccess W2069139220 @default.
• W2069139220 hasPrimaryLocation W20691392201 @default.
• W2069139220 hasRelatedWork W2006860739 @default.
• W2069139220 hasRelatedWork W2142782287 @default.
• W2069139220 hasRelatedWork W2157660637 @default.
• W2069139220 hasRelatedWork W2274607126 @default.
• W2069139220 hasRelatedWork W2392294830 @default.
• W2069139220 hasRelatedWork W3152373127 @default.
• W2069139220 hasRelatedWork W345638404 @default.
• W2069139220 hasRelatedWork W4316662528 @default.
• W2069139220 hasRelatedWork W51612467 @default.
• W2069139220 hasRelatedWork W2525463489 @default.

• next