@article{weko_233817_1, author = "Bach,Nguyen Trong and Kanae,Tsushima and Zhenjiang,Hu", title = "Synthesis of Bidirectional Programs from Examples with Functional Dependencies", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2024", volume = "17", number = "2", month = "apr" }