Combining syntactic and semantic bidirectionalization

DOI10.1145/1863543.1863571MaRDI QIDQ5176938zbMATH OpenOpenAlexFDO

Authors Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang

Publication date 5 March 2015

Published in Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL http://publications.lib.chalmers.se/publication/143546-combining-syntactic-and-semantic-bidirectionalization

zbMATH Keywords

program transformationview-update problem

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Database theory (68P15) Information storage and retrieval of data (68P20) Semantics in the theory of computing (68Q55)

Recommendations

• Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
• Programming Languages and Systems
• Bidirectionalization for free! (Pearl)
• Bidirectionalization transformation based on automatic derivation of view complement functions
• Applicative bidirectional programming with lenses

Cited in

(7)

• Relations as executable specifications: taming partiality and non-determinism using invariants
• Formalizing semantic bidirectionalization and extensions with dependent types
• Characterizing Compatible View Updates in Syntactic Bidirectionalization
• Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins
• Contract lenses: Reasoning about bidirectional programs via calculation
• \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
• Refined typing to localize the impact of forced strictness on free theorems

This page was built for publication: Combining syntactic and semantic bidirectionalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176938)