Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899456688> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2899456688 abstract "Among the frameworks of bidirectional transformations proposed for addressing various synchronisation (consistency maintenance) problems, Foster et al.’s [2007] asymmetric lenses have influenced the design of a generation of bidirectional programming languages. Most of these languages are based on a declarative programming model, and only allow the programmer to describe a consistency specification with ad hoc and/or awkward control over the consistency restoration behaviour. However, synchronisation problems are diverse and require vastly different consistency restoration strategies, and to cope with the diversity, the programmer must have the ability to fully control and reason about the consistency restoration behaviour. The putback-based approach to bidirectional programming aims to provide exactly this ability, and this paper strengthens the putback-based position by proposing the first fully fledged reasoning framework for a bidirectional language — a Hoare-style logic for Ko et al.’s [2016] putback-based language BiGUL. The Hoare-style logic lets the BiGUL programmer precisely characterise the bidirectional behaviour of their programs by reasoning solely in the putback direction, thereby offering a unidirectional programming abstraction that is reasonably straightforward to work with and yet provides full control not achieved by previous approaches. The theory has been formalised and checked in Agda, but this paper presents the Hoare-style logic in a semi-formal way to make it easily understood and usable by the working BiGUL programmer." @default.
- W2899456688 created "2018-11-09" @default.
- W2899456688 creator A5002090753 @default.
- W2899456688 creator A5041557082 @default.
- W2899456688 date "2018-01-07" @default.
- W2899456688 modified "2023-09-22" @default.
- W2899456688 title "An Axiomatic Basis for Bidirectional Programming" @default.
- W2899456688 hasPublicationYear "2018" @default.
- W2899456688 type Work @default.
- W2899456688 sameAs 2899456688 @default.
- W2899456688 citedByCount "2" @default.
- W2899456688 countsByYear W28994566882018 @default.
- W2899456688 crossrefType "proceedings-article" @default.
- W2899456688 hasAuthorship W2899456688A5002090753 @default.
- W2899456688 hasAuthorship W2899456688A5041557082 @default.
- W2899456688 hasConcept C154945302 @default.
- W2899456688 hasConcept C199360897 @default.
- W2899456688 hasConcept C2776436953 @default.
- W2899456688 hasConcept C2778514511 @default.
- W2899456688 hasConcept C34165917 @default.
- W2899456688 hasConcept C41008148 @default.
- W2899456688 hasConcept C55439883 @default.
- W2899456688 hasConceptScore W2899456688C154945302 @default.
- W2899456688 hasConceptScore W2899456688C199360897 @default.
- W2899456688 hasConceptScore W2899456688C2776436953 @default.
- W2899456688 hasConceptScore W2899456688C2778514511 @default.
- W2899456688 hasConceptScore W2899456688C34165917 @default.
- W2899456688 hasConceptScore W2899456688C41008148 @default.
- W2899456688 hasConceptScore W2899456688C55439883 @default.
- W2899456688 hasLocation W28994566881 @default.
- W2899456688 hasOpenAccess W2899456688 @default.
- W2899456688 hasPrimaryLocation W28994566881 @default.
- W2899456688 hasRelatedWork W1130579747 @default.
- W2899456688 hasRelatedWork W1992483812 @default.
- W2899456688 hasRelatedWork W2000616678 @default.
- W2899456688 hasRelatedWork W2064276275 @default.
- W2899456688 hasRelatedWork W2088064948 @default.
- W2899456688 hasRelatedWork W2089143460 @default.
- W2899456688 hasRelatedWork W2106403726 @default.
- W2899456688 hasRelatedWork W2107280670 @default.
- W2899456688 hasRelatedWork W2267184053 @default.
- W2899456688 hasRelatedWork W2417401027 @default.
- W2899456688 hasRelatedWork W2542285447 @default.
- W2899456688 hasRelatedWork W2544648223 @default.
- W2899456688 hasRelatedWork W2566015348 @default.
- W2899456688 hasRelatedWork W2778298068 @default.
- W2899456688 hasRelatedWork W2915253358 @default.
- W2899456688 hasRelatedWork W2925654996 @default.
- W2899456688 hasRelatedWork W3092770305 @default.
- W2899456688 hasRelatedWork W338442185 @default.
- W2899456688 hasRelatedWork W70312424 @default.
- W2899456688 hasRelatedWork W2560089524 @default.
- W2899456688 isParatext "false" @default.
- W2899456688 isRetracted "false" @default.
- W2899456688 magId "2899456688" @default.
- W2899456688 workType "article" @default.