Bidirectional Certified Programming

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,, 2017. [doi]


Abstract is missing.