Cited By
View all- Yamaguchi MMatsuda KDavid CWang M(2022)Synbit: synthesizing bidirectional programs using unidirectional sketchesFormal Methods in System Design10.1007/s10703-023-00436-961:2-3(198-247)Online publication date: 1-Dec-2022
- Trong BHu Z(2022)Towards Automatic Synthesis of View Update Programs on RelationsSoftware Foundations for Data Interoperability10.1007/978-3-030-93849-9_6(88-95)Online publication date: 19-Jan-2022
- Yamaguchi MMatsuda KDavid CWang M(2021)Synbit: synthesizing bidirectional programs using unidirectional sketchesProceedings of the ACM on Programming Languages10.1145/34854825:OOPSLA(1-31)Online publication date: 15-Oct-2021
- Show More Cited By