Matches in SemOpenAlex for { <https://semopenalex.org/work/W1530533101> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1530533101 endingPage "44" @default.
- W1530533101 startingPage "30" @default.
- W1530533101 abstract "Graph reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of balanced trees, that cannot be handled by existing methods. This paper formally defines GRSs as graph reduction systems with a signature restriction and an accepting graph. We are mainly interested in PGRSs — polynomially-terminating GRSs whose graph languages are closed under reduction and have a polynomial membership test. We investigate the power of the PGRS framework by presenting example specifications and by considering its language closure properties: PGRS languages are closed under intersection; not closed under union (unless we drop the closedness restriction and exclude languages with the empty graph); and not closed under complement. Our practical investigation presents example PGRSs including cyclic lists, trees, balanced trees and red-black trees. In each case we try to make the PGRS as simple as possible where simpler means fewer rules, simpler termination and closure proofs and fewer non-terminals. We show how to prove the correctness of a PGRS and give methods for demonstrating that a given shape cannot be specified by a PGRS with certain simplicity properties." @default.
- W1530533101 created "2016-06-24" @default.
- W1530533101 creator A5004216967 @default.
- W1530533101 creator A5018902600 @default.
- W1530533101 creator A5043880052 @default.
- W1530533101 date "2004-01-01" @default.
- W1530533101 modified "2023-09-27" @default.
- W1530533101 title "Specifying Pointer Structures by Graph Reduction" @default.
- W1530533101 cites W1512297458 @default.
- W1530533101 cites W1530533101 @default.
- W1530533101 cites W1750765779 @default.
- W1530533101 cites W1820275044 @default.
- W1530533101 cites W1851346840 @default.
- W1530533101 cites W1905682100 @default.
- W1530533101 cites W2002804719 @default.
- W1530533101 cites W2123032498 @default.
- W1530533101 cites W2913441074 @default.
- W1530533101 doi "https://doi.org/10.1007/978-3-540-25959-6_3" @default.
- W1530533101 hasPublicationYear "2004" @default.
- W1530533101 type Work @default.
- W1530533101 sameAs 1530533101 @default.
- W1530533101 citedByCount "28" @default.
- W1530533101 countsByYear W15305331012012 @default.
- W1530533101 countsByYear W15305331012019 @default.
- W1530533101 countsByYear W15305331012020 @default.
- W1530533101 countsByYear W15305331012021 @default.
- W1530533101 countsByYear W15305331012022 @default.
- W1530533101 crossrefType "book-chapter" @default.
- W1530533101 hasAuthorship W1530533101A5004216967 @default.
- W1530533101 hasAuthorship W1530533101A5018902600 @default.
- W1530533101 hasAuthorship W1530533101A5043880052 @default.
- W1530533101 hasBestOaLocation W15305331012 @default.
- W1530533101 hasConcept C108710211 @default.
- W1530533101 hasConcept C11413529 @default.
- W1530533101 hasConcept C118615104 @default.
- W1530533101 hasConcept C132525143 @default.
- W1530533101 hasConcept C162319229 @default.
- W1530533101 hasConcept C199360897 @default.
- W1530533101 hasConcept C203776342 @default.
- W1530533101 hasConcept C22149727 @default.
- W1530533101 hasConcept C2524010 @default.
- W1530533101 hasConcept C33923547 @default.
- W1530533101 hasConcept C41008148 @default.
- W1530533101 hasConcept C42383842 @default.
- W1530533101 hasConcept C55439883 @default.
- W1530533101 hasConcept C64339825 @default.
- W1530533101 hasConcept C80444323 @default.
- W1530533101 hasConcept C97042676 @default.
- W1530533101 hasConceptScore W1530533101C108710211 @default.
- W1530533101 hasConceptScore W1530533101C11413529 @default.
- W1530533101 hasConceptScore W1530533101C118615104 @default.
- W1530533101 hasConceptScore W1530533101C132525143 @default.
- W1530533101 hasConceptScore W1530533101C162319229 @default.
- W1530533101 hasConceptScore W1530533101C199360897 @default.
- W1530533101 hasConceptScore W1530533101C203776342 @default.
- W1530533101 hasConceptScore W1530533101C22149727 @default.
- W1530533101 hasConceptScore W1530533101C2524010 @default.
- W1530533101 hasConceptScore W1530533101C33923547 @default.
- W1530533101 hasConceptScore W1530533101C41008148 @default.
- W1530533101 hasConceptScore W1530533101C42383842 @default.
- W1530533101 hasConceptScore W1530533101C55439883 @default.
- W1530533101 hasConceptScore W1530533101C64339825 @default.
- W1530533101 hasConceptScore W1530533101C80444323 @default.
- W1530533101 hasConceptScore W1530533101C97042676 @default.
- W1530533101 hasLocation W15305331011 @default.
- W1530533101 hasLocation W15305331012 @default.
- W1530533101 hasOpenAccess W1530533101 @default.
- W1530533101 hasPrimaryLocation W15305331011 @default.
- W1530533101 hasRelatedWork W1019628555 @default.
- W1530533101 hasRelatedWork W1997440650 @default.
- W1530533101 hasRelatedWork W2071909605 @default.
- W1530533101 hasRelatedWork W2113181166 @default.
- W1530533101 hasRelatedWork W2116536633 @default.
- W1530533101 hasRelatedWork W2136052444 @default.
- W1530533101 hasRelatedWork W2950028700 @default.
- W1530533101 hasRelatedWork W3214376140 @default.
- W1530533101 hasRelatedWork W4295127475 @default.
- W1530533101 hasRelatedWork W4301176064 @default.
- W1530533101 isParatext "false" @default.
- W1530533101 isRetracted "false" @default.
- W1530533101 magId "1530533101" @default.
- W1530533101 workType "book-chapter" @default.