BX@ETAPS

Keyphrases

Publications

2017

Daisuke Kinoshita, Keisuke Nakano
Bidirectional Certified Programming. BX@ETAPS (2017)
Stephan Seifermann, Jörg Henß
Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models. BX@ETAPS (2017)
Milica Stojkovic, Sven Laux, Anthony Anjorin
Existing and New Ideas on Least Change Triple Graph Grammars. BX@ETAPS (2017)
Danel Ahman, Tarmo Uustalu
Taking Updates Seriously. BX@ETAPS (2017)
Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. BX@ETAPS (2017)
Michael Johnson, Robert D. Rosebrugh
Universal Updates for Symmetric Lenses. BX@ETAPS (2017)
Zinovy Diskin
Compositionality of Update Propagation: Lax PutPut. BX@ETAPS (2017)
Perdita Stevens, Jeremy Gibbons
On Ontologology. BX@ETAPS (2017)

volume 1827, 2017

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. BX@ETAPS 1827 (2017)