Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300588582> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W4300588582 abstract "We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both." @default.
- W4300588582 created "2022-10-03" @default.
- W4300588582 creator A5044771793 @default.
- W4300588582 creator A5046548445 @default.
- W4300588582 creator A5068062842 @default.
- W4300588582 creator A5089189715 @default.
- W4300588582 date "2017-05-10" @default.
- W4300588582 modified "2023-10-16" @default.
- W4300588582 title "Graph-Based Shape Analysis Beyond Context-Freeness" @default.
- W4300588582 doi "https://doi.org/10.48550/arxiv.1705.03754" @default.
- W4300588582 hasPublicationYear "2017" @default.
- W4300588582 type Work @default.
- W4300588582 citedByCount "0" @default.
- W4300588582 crossrefType "posted-content" @default.
- W4300588582 hasAuthorship W4300588582A5044771793 @default.
- W4300588582 hasAuthorship W4300588582A5046548445 @default.
- W4300588582 hasAuthorship W4300588582A5068062842 @default.
- W4300588582 hasAuthorship W4300588582A5089189715 @default.
- W4300588582 hasBestOaLocation W43005885821 @default.
- W4300588582 hasConcept C11413529 @default.
- W4300588582 hasConcept C132525143 @default.
- W4300588582 hasConcept C134083981 @default.
- W4300588582 hasConcept C154945302 @default.
- W4300588582 hasConcept C165464430 @default.
- W4300588582 hasConcept C199360897 @default.
- W4300588582 hasConcept C41008148 @default.
- W4300588582 hasConcept C53893814 @default.
- W4300588582 hasConcept C67621940 @default.
- W4300588582 hasConcept C80444323 @default.
- W4300588582 hasConcept C97212296 @default.
- W4300588582 hasConceptScore W4300588582C11413529 @default.
- W4300588582 hasConceptScore W4300588582C132525143 @default.
- W4300588582 hasConceptScore W4300588582C134083981 @default.
- W4300588582 hasConceptScore W4300588582C154945302 @default.
- W4300588582 hasConceptScore W4300588582C165464430 @default.
- W4300588582 hasConceptScore W4300588582C199360897 @default.
- W4300588582 hasConceptScore W4300588582C41008148 @default.
- W4300588582 hasConceptScore W4300588582C53893814 @default.
- W4300588582 hasConceptScore W4300588582C67621940 @default.
- W4300588582 hasConceptScore W4300588582C80444323 @default.
- W4300588582 hasConceptScore W4300588582C97212296 @default.
- W4300588582 hasLocation W43005885821 @default.
- W4300588582 hasLocation W43005885822 @default.
- W4300588582 hasOpenAccess W4300588582 @default.
- W4300588582 hasPrimaryLocation W43005885821 @default.
- W4300588582 hasRelatedWork W131152816 @default.
- W4300588582 hasRelatedWork W1985262753 @default.
- W4300588582 hasRelatedWork W2023251624 @default.
- W4300588582 hasRelatedWork W2085190866 @default.
- W4300588582 hasRelatedWork W2092042102 @default.
- W4300588582 hasRelatedWork W2126015313 @default.
- W4300588582 hasRelatedWork W2336577598 @default.
- W4300588582 hasRelatedWork W2911319454 @default.
- W4300588582 hasRelatedWork W3038076697 @default.
- W4300588582 hasRelatedWork W2123779329 @default.
- W4300588582 isParatext "false" @default.
- W4300588582 isRetracted "false" @default.
- W4300588582 workType "article" @default.