Combining syntactic and semantic bidirectionalization

DOI10.1145/1863543.1863571zbMath1323.68170OpenAlexW2019746614MaRDI QIDQ5176938

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

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

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

Related Items (max. 100)

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants ⋮ Contract lenses: Reasoning about bidirectional programs via calculation ⋮ Refined typing to localize the impact of forced strictness on free theorems

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