Matches in SemOpenAlex for { <https://semopenalex.org/work/W2284637721> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2284637721 endingPage "38" @default.
- W2284637721 startingPage "38" @default.
- W2284637721 abstract "We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies. We describe a language of decompositions that permit the user to specify different concrete representations for relations, and show that operations on concrete representations soundly implement their relational specification. It is easy to incorporate data representations synthesized by our compiler into existing systems, leading to code that is simpler, correct by construction, and comparable in performance to the code it replaces." @default.
- W2284637721 created "2016-06-24" @default.
- W2284637721 creator A5002512849 @default.
- W2284637721 creator A5045127387 @default.
- W2284637721 creator A5056099984 @default.
- W2284637721 creator A5066819336 @default.
- W2284637721 creator A5087402475 @default.
- W2284637721 date "2012-08-06" @default.
- W2284637721 modified "2023-10-17" @default.
- W2284637721 title "Data representation synthesis" @default.
- W2284637721 doi "https://doi.org/10.1145/2345156.1993504" @default.
- W2284637721 hasPublicationYear "2012" @default.
- W2284637721 type Work @default.
- W2284637721 sameAs 2284637721 @default.
- W2284637721 citedByCount "1" @default.
- W2284637721 countsByYear W22846377212013 @default.
- W2284637721 crossrefType "journal-article" @default.
- W2284637721 hasAuthorship W2284637721A5002512849 @default.
- W2284637721 hasAuthorship W2284637721A5045127387 @default.
- W2284637721 hasAuthorship W2284637721A5056099984 @default.
- W2284637721 hasAuthorship W2284637721A5066819336 @default.
- W2284637721 hasAuthorship W2284637721A5087402475 @default.
- W2284637721 hasBestOaLocation W22846377212 @default.
- W2284637721 hasConcept C138958017 @default.
- W2284637721 hasConcept C169590947 @default.
- W2284637721 hasConcept C175971053 @default.
- W2284637721 hasConcept C177264268 @default.
- W2284637721 hasConcept C17744445 @default.
- W2284637721 hasConcept C199360897 @default.
- W2284637721 hasConcept C199539241 @default.
- W2284637721 hasConcept C2776359362 @default.
- W2284637721 hasConcept C2776760102 @default.
- W2284637721 hasConcept C41008148 @default.
- W2284637721 hasConcept C5655090 @default.
- W2284637721 hasConcept C77088390 @default.
- W2284637721 hasConcept C80444323 @default.
- W2284637721 hasConcept C94625758 @default.
- W2284637721 hasConcept C95916125 @default.
- W2284637721 hasConceptScore W2284637721C138958017 @default.
- W2284637721 hasConceptScore W2284637721C169590947 @default.
- W2284637721 hasConceptScore W2284637721C175971053 @default.
- W2284637721 hasConceptScore W2284637721C177264268 @default.
- W2284637721 hasConceptScore W2284637721C17744445 @default.
- W2284637721 hasConceptScore W2284637721C199360897 @default.
- W2284637721 hasConceptScore W2284637721C199539241 @default.
- W2284637721 hasConceptScore W2284637721C2776359362 @default.
- W2284637721 hasConceptScore W2284637721C2776760102 @default.
- W2284637721 hasConceptScore W2284637721C41008148 @default.
- W2284637721 hasConceptScore W2284637721C5655090 @default.
- W2284637721 hasConceptScore W2284637721C77088390 @default.
- W2284637721 hasConceptScore W2284637721C80444323 @default.
- W2284637721 hasConceptScore W2284637721C94625758 @default.
- W2284637721 hasConceptScore W2284637721C95916125 @default.
- W2284637721 hasIssue "6" @default.
- W2284637721 hasLocation W22846377211 @default.
- W2284637721 hasLocation W22846377212 @default.
- W2284637721 hasLocation W22846377213 @default.
- W2284637721 hasOpenAccess W2284637721 @default.
- W2284637721 hasPrimaryLocation W22846377211 @default.
- W2284637721 hasRelatedWork W1497385637 @default.
- W2284637721 hasRelatedWork W1589626348 @default.
- W2284637721 hasRelatedWork W2000654499 @default.
- W2284637721 hasRelatedWork W2038793895 @default.
- W2284637721 hasRelatedWork W2044422526 @default.
- W2284637721 hasRelatedWork W2192862863 @default.
- W2284637721 hasRelatedWork W2369288331 @default.
- W2284637721 hasRelatedWork W2519339279 @default.
- W2284637721 hasRelatedWork W3191594868 @default.
- W2284637721 hasRelatedWork W4233387348 @default.
- W2284637721 hasVolume "47" @default.
- W2284637721 isParatext "false" @default.
- W2284637721 isRetracted "false" @default.
- W2284637721 magId "2284637721" @default.
- W2284637721 workType "article" @default.