Matches in SemOpenAlex for { <https://semopenalex.org/work/W2597268468> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2597268468 abstract "Many problems in programming involve pairs of computations that cancel out each other’s effects; some examples include parsing/printing, embed- ding/projection, marshalling/unmarshalling, compressing/de-compressing etc. To avoid duplication of effort, the paradigm of bidirectional programming aims at to allow the programmer to write a single program that expresses both computations. Despite being a promising idea, existing studies mainly focus on the view-update problem in databases and its variants; and the impact of bidirectional programming has not reached the wider community. The goal of this thesis is to demonstrate, through concrete language designs and case studies, the relevance of bidirectional programming, in areas of computer science that have not been previously explored.In this thesis, we will argue for the importance of bidirectional programming in programming language design and compiler implementation. As evidence for this, we will propose a technique for incremental refactoring, which relies for its correctness on a bidirectional language and its properties, and devise a framework for implementing program transformations, with bidirectional properties that allow program analyses to be carried out in the transformed program, and have the results reported in the source program.Our applications of bidirectional programming to new areas bring up fresh challenges. This thesis also reflects on the challenges, and studies their impact to the design of bidirectional systems. We will review various design goals, including expressiveness, robustness, updatability, efficiency and easy of use, and show how certain choices, especially regarding updatability, can have significant influence on the effectiveness of bidirectional systems." @default.
- W2597268468 created "2017-03-23" @default.
- W2597268468 creator A5036726873 @default.
- W2597268468 date "2011-01-01" @default.
- W2597268468 modified "2023-09-23" @default.
- W2597268468 title "Bidirectional Programming and its Applications" @default.
- W2597268468 cites W1640136614 @default.
- W2597268468 cites W2005192022 @default.
- W2597268468 cites W2059703978 @default.
- W2597268468 cites W2074077414 @default.
- W2597268468 cites W2114980032 @default.
- W2597268468 cites W2143041463 @default.
- W2597268468 cites W2208923056 @default.
- W2597268468 hasPublicationYear "2011" @default.
- W2597268468 type Work @default.
- W2597268468 sameAs 2597268468 @default.
- W2597268468 citedByCount "0" @default.
- W2597268468 crossrefType "dissertation" @default.
- W2597268468 hasAuthorship W2597268468A5036726873 @default.
- W2597268468 hasConcept C115903868 @default.
- W2597268468 hasConcept C152752567 @default.
- W2597268468 hasConcept C169590947 @default.
- W2597268468 hasConcept C19024347 @default.
- W2597268468 hasConcept C199360897 @default.
- W2597268468 hasConcept C2777904410 @default.
- W2597268468 hasConcept C2778514511 @default.
- W2597268468 hasConcept C34165917 @default.
- W2597268468 hasConcept C41008148 @default.
- W2597268468 hasConcept C50033165 @default.
- W2597268468 hasConcept C55439883 @default.
- W2597268468 hasConceptScore W2597268468C115903868 @default.
- W2597268468 hasConceptScore W2597268468C152752567 @default.
- W2597268468 hasConceptScore W2597268468C169590947 @default.
- W2597268468 hasConceptScore W2597268468C19024347 @default.
- W2597268468 hasConceptScore W2597268468C199360897 @default.
- W2597268468 hasConceptScore W2597268468C2777904410 @default.
- W2597268468 hasConceptScore W2597268468C2778514511 @default.
- W2597268468 hasConceptScore W2597268468C34165917 @default.
- W2597268468 hasConceptScore W2597268468C41008148 @default.
- W2597268468 hasConceptScore W2597268468C50033165 @default.
- W2597268468 hasConceptScore W2597268468C55439883 @default.
- W2597268468 hasLocation W25972684681 @default.
- W2597268468 hasOpenAccess W2597268468 @default.
- W2597268468 hasPrimaryLocation W25972684681 @default.
- W2597268468 hasRelatedWork W1561467993 @default.
- W2597268468 hasRelatedWork W1585400984 @default.
- W2597268468 hasRelatedWork W1606634377 @default.
- W2597268468 hasRelatedWork W194395352 @default.
- W2597268468 hasRelatedWork W1976670207 @default.
- W2597268468 hasRelatedWork W2124998264 @default.
- W2597268468 hasRelatedWork W2133431016 @default.
- W2597268468 hasRelatedWork W2137062805 @default.
- W2597268468 hasRelatedWork W2150253965 @default.
- W2597268468 hasRelatedWork W2164494558 @default.
- W2597268468 hasRelatedWork W2165468151 @default.
- W2597268468 hasRelatedWork W2365039068 @default.
- W2597268468 hasRelatedWork W242498529 @default.
- W2597268468 hasRelatedWork W2542634898 @default.
- W2597268468 hasRelatedWork W30447490 @default.
- W2597268468 hasRelatedWork W325045550 @default.
- W2597268468 hasRelatedWork W846755385 @default.
- W2597268468 hasRelatedWork W853111016 @default.
- W2597268468 hasRelatedWork W2150970237 @default.
- W2597268468 hasRelatedWork W241202685 @default.
- W2597268468 isParatext "false" @default.
- W2597268468 isRetracted "false" @default.
- W2597268468 magId "2597268468" @default.
- W2597268468 workType "dissertation" @default.