FRINK Linked Data Fragments server

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

• W1220998442 endingPage "395" @default.
• W1220998442 startingPage "375" @default.
• W1220998442 abstract "Real-world data structures are often enhanced with additional pointers capturing alternative paths through a basic inductive skeleton (e.g., back pointers, head pointers). From the static analysis point of view, we must obtain several interlocking shape invariants. At the same time, it is well understood in abstract interpretation design that supporting a separation of concerns is critically important to designing powerful static analyses. Such a separation of concerns is often obtained via a reduced product on a case-by-case basis. In this paper, we lift this idea to abstract domains for shape analyses, introducing a domain combination operator for memory abstractions. As an example, we present simultaneous separating shape graphs, a product construction that combines instances of separation logic-based shape domains. The key enabler for this construction is a static analysis on inductive data structure definitions to derive relations between the skeleton and the alternative paths. From the engineering standpoint, this construction allows each component to reason independently about different aspects of the data structure invariant and then separately exchange information via a reduction operator. From the usability standpoint, we enable describing a data structure invariant in terms of several inductive definitions that hold simultaneously." @default.
• W1220998442 created "2016-06-24" @default.
• W1220998442 creator A5003491673 @default.
• W1220998442 creator A5037983866 @default.
• W1220998442 creator A5048756174 @default.
• W1220998442 date "2013-01-01" @default.
• W1220998442 modified "2023-10-16" @default.
• W1220998442 title "Reduced Product Combination of Abstract Domains for Shapes" @default.
• W1220998442 cites W1508811155 @default.
• W1220998442 cites W1528617049 @default.
• W1220998442 cites W1537510808 @default.
• W1220998442 cites W1556730367 @default.
• W1220998442 cites W1833029986 @default.
• W1220998442 cites W2014764321 @default.
• W1220998442 cites W2043100293 @default.
• W1220998442 cites W2097698142 @default.
• W1220998442 cites W2111513472 @default.
• W1220998442 cites W2113159073 @default.
• W1220998442 cites W2140144076 @default.
• W1220998442 cites W2140856295 @default.
• W1220998442 cites W2152686702 @default.
• W1220998442 cites W2153144732 @default.
• W1220998442 cites W2170577595 @default.
• W1220998442 cites W2170736936 @default.
• W1220998442 cites W3003422935 @default.
• W1220998442 cites W3009252711 @default.
• W1220998442 cites W3160566300 @default.
• W1220998442 doi "https://doi.org/10.1007/978-3-642-35873-9_23" @default.
• W1220998442 hasPublicationYear "2013" @default.
• W1220998442 type Work @default.
• W1220998442 sameAs 1220998442 @default.
• W1220998442 citedByCount "18" @default.
• W1220998442 countsByYear W12209984422013 @default.
• W1220998442 countsByYear W12209984422014 @default.
• W1220998442 countsByYear W12209984422015 @default.
• W1220998442 countsByYear W12209984422016 @default.
• W1220998442 countsByYear W12209984422017 @default.
• W1220998442 countsByYear W12209984422018 @default.
• W1220998442 countsByYear W12209984422019 @default.
• W1220998442 countsByYear W12209984422020 @default.
• W1220998442 countsByYear W12209984422022 @default.
• W1220998442 crossrefType "book-chapter" @default.
• W1220998442 hasAuthorship W1220998442A5003491673 @default.
• W1220998442 hasAuthorship W1220998442A5037983866 @default.
• W1220998442 hasAuthorship W1220998442A5048756174 @default.
• W1220998442 hasBestOaLocation W12209984422 @default.
• W1220998442 hasConcept C104317684 @default.
• W1220998442 hasConcept C107457646 @default.
• W1220998442 hasConcept C11413529 @default.
• W1220998442 hasConcept C124101348 @default.
• W1220998442 hasConcept C12426560 @default.
• W1220998442 hasConcept C139002025 @default.
• W1220998442 hasConcept C158448853 @default.
• W1220998442 hasConcept C162319229 @default.
• W1220998442 hasConcept C170130773 @default.
• W1220998442 hasConcept C17020691 @default.
• W1220998442 hasConcept C173856430 @default.
• W1220998442 hasConcept C185592680 @default.
• W1220998442 hasConcept C190470478 @default.
• W1220998442 hasConcept C199360897 @default.
• W1220998442 hasConcept C2524010 @default.
• W1220998442 hasConcept C2780654840 @default.
• W1220998442 hasConcept C33923547 @default.
• W1220998442 hasConcept C37914503 @default.
• W1220998442 hasConcept C41008148 @default.
• W1220998442 hasConcept C55493867 @default.
• W1220998442 hasConcept C80444323 @default.
• W1220998442 hasConcept C86339819 @default.
• W1220998442 hasConceptScore W1220998442C104317684 @default.
• W1220998442 hasConceptScore W1220998442C107457646 @default.
• W1220998442 hasConceptScore W1220998442C11413529 @default.
• W1220998442 hasConceptScore W1220998442C124101348 @default.
• W1220998442 hasConceptScore W1220998442C12426560 @default.
• W1220998442 hasConceptScore W1220998442C139002025 @default.
• W1220998442 hasConceptScore W1220998442C158448853 @default.
• W1220998442 hasConceptScore W1220998442C162319229 @default.
• W1220998442 hasConceptScore W1220998442C170130773 @default.
• W1220998442 hasConceptScore W1220998442C17020691 @default.
• W1220998442 hasConceptScore W1220998442C173856430 @default.
• W1220998442 hasConceptScore W1220998442C185592680 @default.
• W1220998442 hasConceptScore W1220998442C190470478 @default.
• W1220998442 hasConceptScore W1220998442C199360897 @default.
• W1220998442 hasConceptScore W1220998442C2524010 @default.
• W1220998442 hasConceptScore W1220998442C2780654840 @default.
• W1220998442 hasConceptScore W1220998442C33923547 @default.
• W1220998442 hasConceptScore W1220998442C37914503 @default.
• W1220998442 hasConceptScore W1220998442C41008148 @default.
• W1220998442 hasConceptScore W1220998442C55493867 @default.
• W1220998442 hasConceptScore W1220998442C80444323 @default.
• W1220998442 hasConceptScore W1220998442C86339819 @default.
• W1220998442 hasLocation W12209984421 @default.
• W1220998442 hasLocation W12209984422 @default.
• W1220998442 hasLocation W12209984423 @default.
• W1220998442 hasLocation W12209984424 @default.
• W1220998442 hasOpenAccess W1220998442 @default.
• W1220998442 hasPrimaryLocation W12209984421 @default.
• W1220998442 hasRelatedWork W148745890 @default.
• W1220998442 hasRelatedWork W1502763953 @default.

• next