\textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
From MaRDI portal
Publication:6151758
DOI10.1007/s10703-023-00436-9arXiv2108.13783WikidataQ129245444 ScholiaQ129245444MaRDI QIDQ6151758
Meng Wang, Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David
Publication date: 11 March 2024
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2108.13783
functional languageprogram synthesisdomain specific languageprogramming by examplebidirectional transformation
Cites Work
- Unnamed Item
- Unnamed Item
- Deforestation: Transforming programs to eliminate trees
- Principles and practice of bidirectional programming in BiGUL
- Program synthesis with equivalence reduction
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs
- Towards a Reversible Functional Language
- Applicative bidirectional programming with lenses
- Boomerang
- A modal analysis of staged computation
- A Grammar-Based Approach to Invertible Programs
- Automatic Partial Inversion of Inductively Sequential Functions
- Update semantics of relational views
- Purely functional lazy nondeterministic programming
- A partial evaluator for the untyped lambda-calculus
- Bidirectionalization transformation based on automatic derivation of view complement functions
- Matching lenses
- Quotient lenses
- Bidirectionalization for free! (Pearl)
- Component-based synthesis for complex APIs
- Program Inversion for Tail Recursive Functions
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
- Automating string processing in spreadsheets using input-output examples
- Symmetric lenses
- Term Rewriting and Applications
- Counterexample guided inductive synthesis modulo theories
