Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912166712> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W2912166712 abstract "Recursive data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compile-time and exploited to automatically generate code for building, copying, comparing, and traversing values without loss of efficiency. However, such values are always tree shaped, which is a major obstacle to practical use.We propose a notion of graph types, which allow common shapes, such as doubly-linked lists or threaded trees, to be expressed concisely and efficiently. We define regular languages of routing expressions to specify relative addresses of extra pointers in a canonical spanning tree. An efficient algorithm for computing such addresses is developed. We employ a second-order monadic logic to decide well-formedness of graph type specifications. This logic can also be used for automated reasoning about pointer structures." @default.
- W2912166712 created "2019-02-21" @default.
- W2912166712 creator A5066751232 @default.
- W2912166712 creator A5083488023 @default.
- W2912166712 date "1993-01-01" @default.
- W2912166712 modified "2023-10-17" @default.
- W2912166712 title "Graph types" @default.
- W2912166712 cites W1641069266 @default.
- W2912166712 cites W1829244603 @default.
- W2912166712 cites W2002804719 @default.
- W2912166712 cites W2028074529 @default.
- W2912166712 cites W2028357390 @default.
- W2912166712 cites W2035182234 @default.
- W2912166712 cites W2083102268 @default.
- W2912166712 cites W2099859391 @default.
- W2912166712 cites W2111076108 @default.
- W2912166712 cites W2151384546 @default.
- W2912166712 doi "https://doi.org/10.1145/158511.158628" @default.
- W2912166712 hasPublicationYear "1993" @default.
- W2912166712 type Work @default.
- W2912166712 sameAs 2912166712 @default.
- W2912166712 citedByCount "127" @default.
- W2912166712 countsByYear W29121667122012 @default.
- W2912166712 countsByYear W29121667122013 @default.
- W2912166712 countsByYear W29121667122014 @default.
- W2912166712 countsByYear W29121667122016 @default.
- W2912166712 countsByYear W29121667122017 @default.
- W2912166712 countsByYear W29121667122019 @default.
- W2912166712 countsByYear W29121667122020 @default.
- W2912166712 countsByYear W29121667122021 @default.
- W2912166712 countsByYear W29121667122022 @default.
- W2912166712 countsByYear W29121667122023 @default.
- W2912166712 crossrefType "proceedings-article" @default.
- W2912166712 hasAuthorship W2912166712A5066751232 @default.
- W2912166712 hasAuthorship W2912166712A5083488023 @default.
- W2912166712 hasConcept C41008148 @default.
- W2912166712 hasConceptScore W2912166712C41008148 @default.
- W2912166712 hasLocation W29121667121 @default.
- W2912166712 hasOpenAccess W2912166712 @default.
- W2912166712 hasPrimaryLocation W29121667121 @default.
- W2912166712 hasRelatedWork W1596801655 @default.
- W2912166712 hasRelatedWork W2130043461 @default.
- W2912166712 hasRelatedWork W2350741829 @default.
- W2912166712 hasRelatedWork W2358668433 @default.
- W2912166712 hasRelatedWork W2376932109 @default.
- W2912166712 hasRelatedWork W2382290278 @default.
- W2912166712 hasRelatedWork W2390279801 @default.
- W2912166712 hasRelatedWork W2748952813 @default.
- W2912166712 hasRelatedWork W2899084033 @default.
- W2912166712 hasRelatedWork W2530322880 @default.
- W2912166712 isParatext "false" @default.
- W2912166712 isRetracted "false" @default.
- W2912166712 magId "2912166712" @default.
- W2912166712 workType "article" @default.