FRINK Linked Data Fragments server

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

• W3120385058 endingPage "273" @default.
• W3120385058 startingPage "248" @default.
• W3120385058 abstract "Shape analyses aim at inferring semantic invariants related to the data-structures that programs manipulate. To achieve that, they typically abstract the set of reachable states. By contrast, abstractions for transformation relations between input states and output states not only provide a finer description of program executions but also enable the composition of the effect of program fragments so as to make the analysis modular. However, few logics can efficiently capture such transformation relations. In this paper, we propose to use connectors inspired by separation logic to describe memory state transformations and to represent procedure summaries. Based on this abstraction, we design a top-down interprocedural analysis using shape transformation relations as procedure summaries. Finally, we report on implementation and evaluation." @default.
• W3120385058 created "2021-01-18" @default.
• W3120385058 creator A5037983866 @default.
• W3120385058 creator A5043517200 @default.
• W3120385058 creator A5068884333 @default.
• W3120385058 date "2020-01-01" @default.
• W3120385058 modified "2023-10-04" @default.
• W3120385058 title "Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries" @default.
• W3120385058 cites W134837158 @default.
• W3120385058 cites W1480370622 @default.
• W3120385058 cites W1483359125 @default.
• W3120385058 cites W1494768888 @default.
• W3120385058 cites W1508811155 @default.
• W3120385058 cites W1515252725 @default.
• W3120385058 cites W1550127321 @default.
• W3120385058 cites W1552065586 @default.
• W3120385058 cites W1781036774 @default.
• W3120385058 cites W1844529821 @default.
• W3120385058 cites W1974604404 @default.
• W3120385058 cites W1984342415 @default.
• W3120385058 cites W1993255342 @default.
• W3120385058 cites W2006668087 @default.
• W3120385058 cites W2030697178 @default.
• W3120385058 cites W2031506341 @default.
• W3120385058 cites W2043100293 @default.
• W3120385058 cites W2049524532 @default.
• W3120385058 cites W2101811836 @default.
• W3120385058 cites W2111513472 @default.
• W3120385058 cites W2132661148 @default.
• W3120385058 cites W2147492162 @default.
• W3120385058 cites W2164151624 @default.
• W3120385058 cites W2264729369 @default.
• W3120385058 cites W2604181277 @default.
• W3120385058 cites W2978234104 @default.
• W3120385058 cites W2997561197 @default.
• W3120385058 cites W3003411691 @default.
• W3120385058 cites W3003422935 @default.
• W3120385058 cites W3009050206 @default.
• W3120385058 cites W3015951847 @default.
• W3120385058 doi "https://doi.org/10.1007/978-3-030-65474-0_12" @default.
• W3120385058 hasPublicationYear "2020" @default.
• W3120385058 type Work @default.
• W3120385058 sameAs 3120385058 @default.
• W3120385058 citedByCount "2" @default.
• W3120385058 countsByYear W31203850582022 @default.
• W3120385058 countsByYear W31203850582023 @default.
• W3120385058 crossrefType "book-chapter" @default.
• W3120385058 hasAuthorship W3120385058A5037983866 @default.
• W3120385058 hasAuthorship W3120385058A5043517200 @default.
• W3120385058 hasAuthorship W3120385058A5068884333 @default.
• W3120385058 hasBestOaLocation W31203850582 @default.
• W3120385058 hasConcept C101468663 @default.
• W3120385058 hasConcept C104317684 @default.
• W3120385058 hasConcept C111472728 @default.
• W3120385058 hasConcept C11413529 @default.
• W3120385058 hasConcept C121332964 @default.
• W3120385058 hasConcept C124304363 @default.
• W3120385058 hasConcept C138885662 @default.
• W3120385058 hasConcept C165801399 @default.
• W3120385058 hasConcept C173856430 @default.
• W3120385058 hasConcept C177264268 @default.
• W3120385058 hasConcept C185592680 @default.
• W3120385058 hasConcept C199360897 @default.
• W3120385058 hasConcept C204241405 @default.
• W3120385058 hasConcept C2778361913 @default.
• W3120385058 hasConcept C2780654840 @default.
• W3120385058 hasConcept C41008148 @default.
• W3120385058 hasConcept C55493867 @default.
• W3120385058 hasConcept C62520636 @default.
• W3120385058 hasConcept C66322947 @default.
• W3120385058 hasConcept C80444323 @default.
• W3120385058 hasConcept C97686452 @default.
• W3120385058 hasConcept C98183937 @default.
• W3120385058 hasConceptScore W3120385058C101468663 @default.
• W3120385058 hasConceptScore W3120385058C104317684 @default.
• W3120385058 hasConceptScore W3120385058C111472728 @default.
• W3120385058 hasConceptScore W3120385058C11413529 @default.
• W3120385058 hasConceptScore W3120385058C121332964 @default.
• W3120385058 hasConceptScore W3120385058C124304363 @default.
• W3120385058 hasConceptScore W3120385058C138885662 @default.
• W3120385058 hasConceptScore W3120385058C165801399 @default.
• W3120385058 hasConceptScore W3120385058C173856430 @default.
• W3120385058 hasConceptScore W3120385058C177264268 @default.
• W3120385058 hasConceptScore W3120385058C185592680 @default.
• W3120385058 hasConceptScore W3120385058C199360897 @default.
• W3120385058 hasConceptScore W3120385058C204241405 @default.
• W3120385058 hasConceptScore W3120385058C2778361913 @default.
• W3120385058 hasConceptScore W3120385058C2780654840 @default.
• W3120385058 hasConceptScore W3120385058C41008148 @default.
• W3120385058 hasConceptScore W3120385058C55493867 @default.
• W3120385058 hasConceptScore W3120385058C62520636 @default.
• W3120385058 hasConceptScore W3120385058C66322947 @default.
• W3120385058 hasConceptScore W3120385058C80444323 @default.
• W3120385058 hasConceptScore W3120385058C97686452 @default.
• W3120385058 hasConceptScore W3120385058C98183937 @default.
• W3120385058 hasLocation W31203850581 @default.
• W3120385058 hasLocation W31203850582 @default.
• W3120385058 hasLocation W31203850583 @default.

• next