FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099594328> ?p ?o ?g. }

• W2099594328 abstract "Existing bidirectional languages are either state-based or operation-based, depending on whether they represent updates as mere states or as sequences of edit operations.In-between both worlds are delta-based frameworks, where updates are represented using alignment relationships between states.In this paper, we formalize delta lenses over inductive types using dependent type theory and develop a point-free delta lens language with an explicit separation of shape and data.In contrast with the already known issue of data alignment, we identify the new problem of shape alignment and solve it by lifting standard recursion patterns such as folds and unfolds to delta lenses that use alignment to infer meaningful shape updates." @default.
• W2099594328 created "2016-06-24" @default.
• W2099594328 creator A5002090753 @default.
• W2099594328 creator A5069927997 @default.
• W2099594328 creator A5087040293 @default.
• W2099594328 date "2012-07-12" @default.
• W2099594328 modified "2023-09-26" @default.
• W2099594328 title "Delta Lenses over Inductive Types" @default.
• W2099594328 cites W1506888682 @default.
• W2099594328 cites W1527090010 @default.
• W2099594328 cites W1560650189 @default.
• W2099594328 cites W1571615440 @default.
• W2099594328 cites W1594778301 @default.
• W2099594328 cites W1966337472 @default.
• W2099594328 cites W1967402308 @default.
• W2099594328 cites W1968796785 @default.
• W2099594328 cites W1982209843 @default.
• W2099594328 cites W2000616678 @default.
• W2099594328 cites W2009259962 @default.
• W2099594328 cites W2019746614 @default.
• W2099594328 cites W2024951218 @default.
• W2099594328 cites W2037471787 @default.
• W2099594328 cites W2046832714 @default.
• W2099594328 cites W2058137890 @default.
• W2099594328 cites W2076676096 @default.
• W2099594328 cites W2079640625 @default.
• W2099594328 cites W2121357705 @default.
• W2099594328 cites W2151325537 @default.
• W2099594328 cites W2158289035 @default.
• W2099594328 cites W2294915626 @default.
• W2099594328 doi "https://doi.org/10.14279/tuj.eceasst.49.713.719" @default.
• W2099594328 hasPublicationYear "2012" @default.
• W2099594328 type Work @default.
• W2099594328 sameAs 2099594328 @default.
• W2099594328 citedByCount "8" @default.
• W2099594328 countsByYear W20995943282012 @default.
• W2099594328 countsByYear W20995943282013 @default.
• W2099594328 countsByYear W20995943282014 @default.
• W2099594328 countsByYear W20995943282016 @default.
• W2099594328 countsByYear W20995943282020 @default.
• W2099594328 crossrefType "journal-article" @default.
• W2099594328 hasAuthorship W2099594328A5002090753 @default.
• W2099594328 hasAuthorship W2099594328A5069927997 @default.
• W2099594328 hasAuthorship W2099594328A5087040293 @default.
• W2099594328 hasConcept C11413529 @default.
• W2099594328 hasConcept C120665830 @default.
• W2099594328 hasConcept C121332964 @default.
• W2099594328 hasConcept C1276947 @default.
• W2099594328 hasConcept C15336307 @default.
• W2099594328 hasConcept C154945302 @default.
• W2099594328 hasConcept C168773036 @default.
• W2099594328 hasConcept C18903297 @default.
• W2099594328 hasConcept C2524010 @default.
• W2099594328 hasConcept C2776502983 @default.
• W2099594328 hasConcept C2777299769 @default.
• W2099594328 hasConcept C28719098 @default.
• W2099594328 hasConcept C33923547 @default.
• W2099594328 hasConcept C41008148 @default.
• W2099594328 hasConcept C43091099 @default.
• W2099594328 hasConcept C48103436 @default.
• W2099594328 hasConcept C5072461 @default.
• W2099594328 hasConcept C80444323 @default.
• W2099594328 hasConcept C86803240 @default.
• W2099594328 hasConceptScore W2099594328C11413529 @default.
• W2099594328 hasConceptScore W2099594328C120665830 @default.
• W2099594328 hasConceptScore W2099594328C121332964 @default.
• W2099594328 hasConceptScore W2099594328C1276947 @default.
• W2099594328 hasConceptScore W2099594328C15336307 @default.
• W2099594328 hasConceptScore W2099594328C154945302 @default.
• W2099594328 hasConceptScore W2099594328C168773036 @default.
• W2099594328 hasConceptScore W2099594328C18903297 @default.
• W2099594328 hasConceptScore W2099594328C2524010 @default.
• W2099594328 hasConceptScore W2099594328C2776502983 @default.
• W2099594328 hasConceptScore W2099594328C2777299769 @default.
• W2099594328 hasConceptScore W2099594328C28719098 @default.
• W2099594328 hasConceptScore W2099594328C33923547 @default.
• W2099594328 hasConceptScore W2099594328C41008148 @default.
• W2099594328 hasConceptScore W2099594328C43091099 @default.
• W2099594328 hasConceptScore W2099594328C48103436 @default.
• W2099594328 hasConceptScore W2099594328C5072461 @default.
• W2099594328 hasConceptScore W2099594328C80444323 @default.
• W2099594328 hasConceptScore W2099594328C86803240 @default.
• W2099594328 hasLocation W20995943281 @default.
• W2099594328 hasOpenAccess W2099594328 @default.
• W2099594328 hasPrimaryLocation W20995943281 @default.
• W2099594328 hasRelatedWork W1506888682 @default.
• W2099594328 hasRelatedWork W1560650189 @default.
• W2099594328 hasRelatedWork W1598022760 @default.
• W2099594328 hasRelatedWork W1947245809 @default.
• W2099594328 hasRelatedWork W1966337472 @default.
• W2099594328 hasRelatedWork W1968796785 @default.
• W2099594328 hasRelatedWork W1985223393 @default.
• W2099594328 hasRelatedWork W2000616678 @default.
• W2099594328 hasRelatedWork W2024951218 @default.
• W2099594328 hasRelatedWork W2037471787 @default.
• W2099594328 hasRelatedWork W2040293060 @default.
• W2099594328 hasRelatedWork W2046832714 @default.
• W2099594328 hasRelatedWork W2047652936 @default.
• W2099594328 hasRelatedWork W2107280670 @default.
• W2099594328 hasRelatedWork W2113582770 @default.

• next