Matches in SemOpenAlex for { <https://semopenalex.org/work/W2279384749> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2279384749 endingPage "62" @default.
- W2279384749 startingPage "49" @default.
- W2279384749 abstract "We propose a novel approach to the well-known view update problem for the case of tree-structured data: a domainspecific programming language in which all expressions denote bi-directional transformations on trees. In one direction, these transformations--dubbed lenses--map a concrete tree into a simplified abstract view; in the other, they map a modified abstract view, together with the original concrete tree, to a correspondingly modified concrete tree. Our design emphasizes both robustness and ease of use, guaranteeing strong well-behavedness and totality properties for well-typed lenses We identify a natural space of well-behaved bi-directional transformations over arbitrary structures, study definedness and continuity in this setting, and state a precise connection with the classical theory of update translation under a constant complement from databases. We then instantiate this semantic framework in the form of a collection of lens combinators that can be assembled to describe transformations on trees. These combinators include familiar constructs from functional programming (composition, mapping, projection, conditionals, recursion) together with some novel primitives for manipulating trees (splitting, pruning, merging, etc.). We illustrate the expressiveness of these combinators by developing a number of bi-directional list-processing transformations as derived forms" @default.
- W2279384749 created "2016-06-24" @default.
- W2279384749 creator A5008794446 @default.
- W2279384749 creator A5010881187 @default.
- W2279384749 creator A5013605827 @default.
- W2279384749 creator A5021058685 @default.
- W2279384749 creator A5085361253 @default.
- W2279384749 date "2015-12-04" @default.
- W2279384749 modified "2023-09-27" @default.
- W2279384749 title "POPL 2005" @default.
- W2279384749 cites W1506888682 @default.
- W2279384749 cites W1822303551 @default.
- W2279384749 cites W1984295127 @default.
- W2279384749 cites W1985223393 @default.
- W2279384749 cites W1988391412 @default.
- W2279384749 cites W1998077539 @default.
- W2279384749 cites W2008161228 @default.
- W2279384749 cites W2032339126 @default.
- W2279384749 cites W2040293060 @default.
- W2279384749 cites W2111112637 @default.
- W2279384749 cites W2112691528 @default.
- W2279384749 cites W2113582770 @default.
- W2279384749 cites W2114980032 @default.
- W2279384749 cites W2125399128 @default.
- W2279384749 cites W2151592950 @default.
- W2279384749 cites W2294548604 @default.
- W2279384749 cites W2296293111 @default.
- W2279384749 cites W3088085860 @default.
- W2279384749 doi "https://doi.org/10.1145/2854695.2854700" @default.
- W2279384749 hasPublicationYear "2015" @default.
- W2279384749 type Work @default.
- W2279384749 sameAs 2279384749 @default.
- W2279384749 citedByCount "0" @default.
- W2279384749 crossrefType "journal-article" @default.
- W2279384749 hasAuthorship W2279384749A5008794446 @default.
- W2279384749 hasAuthorship W2279384749A5010881187 @default.
- W2279384749 hasAuthorship W2279384749A5013605827 @default.
- W2279384749 hasAuthorship W2279384749A5021058685 @default.
- W2279384749 hasAuthorship W2279384749A5085361253 @default.
- W2279384749 hasConcept C113174947 @default.
- W2279384749 hasConcept C11413529 @default.
- W2279384749 hasConcept C134306372 @default.
- W2279384749 hasConcept C162319229 @default.
- W2279384749 hasConcept C168773036 @default.
- W2279384749 hasConcept C199360897 @default.
- W2279384749 hasConcept C33923547 @default.
- W2279384749 hasConcept C41008148 @default.
- W2279384749 hasConcept C42383842 @default.
- W2279384749 hasConcept C79678938 @default.
- W2279384749 hasConcept C80444323 @default.
- W2279384749 hasConceptScore W2279384749C113174947 @default.
- W2279384749 hasConceptScore W2279384749C11413529 @default.
- W2279384749 hasConceptScore W2279384749C134306372 @default.
- W2279384749 hasConceptScore W2279384749C162319229 @default.
- W2279384749 hasConceptScore W2279384749C168773036 @default.
- W2279384749 hasConceptScore W2279384749C199360897 @default.
- W2279384749 hasConceptScore W2279384749C33923547 @default.
- W2279384749 hasConceptScore W2279384749C41008148 @default.
- W2279384749 hasConceptScore W2279384749C42383842 @default.
- W2279384749 hasConceptScore W2279384749C79678938 @default.
- W2279384749 hasConceptScore W2279384749C80444323 @default.
- W2279384749 hasIssue "8S" @default.
- W2279384749 hasLocation W22793847491 @default.
- W2279384749 hasOpenAccess W2279384749 @default.
- W2279384749 hasPrimaryLocation W22793847491 @default.
- W2279384749 hasRelatedWork W1607469218 @default.
- W2279384749 hasRelatedWork W2048128011 @default.
- W2279384749 hasRelatedWork W2115737686 @default.
- W2279384749 hasRelatedWork W2125713144 @default.
- W2279384749 hasRelatedWork W2163101388 @default.
- W2279384749 hasRelatedWork W2170826808 @default.
- W2279384749 hasRelatedWork W2228124075 @default.
- W2279384749 hasRelatedWork W2551794739 @default.
- W2279384749 hasRelatedWork W2652642432 @default.
- W2279384749 hasRelatedWork W4302391323 @default.
- W2279384749 hasVolume "50" @default.
- W2279384749 isParatext "false" @default.
- W2279384749 isRetracted "false" @default.
- W2279384749 magId "2279384749" @default.
- W2279384749 workType "article" @default.