Daisuke Kinoshita, Keisuke Nakano. Bidirectional Certified Programming. In Romina Eramo, Michael Johnson, editors, Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017. Volume 1827 of CEUR Workshop Proceedings, pages 31-38, CEUR-WS.org, 2017.
Abstract is missing.