Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
From MaRDI portal
Recommendations
- Combining syntactic and semantic bidirectionalization
- Bidirectionalization for free! (Pearl)
- Formalizing semantic bidirectionalization and extensions with dependent types
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Applicative bidirectional programming with lenses
Cites work
- A programmable editor for developing structured documents based on bidirectional transformations
- A semantics for shape
- Deaccumulation techniques for improving provability
- Deforestation: Transforming programs to eliminate trees
- Properties and update semantics of consistent views
- The essence of the <scp>Iterator</scp> pattern
- Update semantics of relational views
Cited in
(9)- Decision problems of tree transducers with origin
- Principles and practice of bidirectional programming in BiGUL
- Notions of bidirectional computation and entangled state monads
- Decision problems of tree transducers with origin
- Formalizing semantic bidirectionalization and extensions with dependent types
- Three complementary approaches to bidirectional programming
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Combining syntactic and semantic bidirectionalization
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
This page was built for publication: Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398330)
