‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 16:30 - 17:00 at Baie des Anges B - Programming and Applications Chair(s): Kazutaka Matsuda

Bidirectional transformation systems usually have a more declarative design, but it has long been realised that declarative approaches are hardly enough for practical bidirectional applications. The BX community currently concentrates on the exploration of more forms of well-behavedness laws, but we should not be satisfied with only well-behavedness guarantees. Instead, we should also start aiming to precisely reason about the behaviour of bidirectional programs like what we have been doing for general-purpose languages, and only then can we think about more complex bidirectional applications and the verification of their consistency restoration behaviour. We will talk about the Hoare-style logic recently presented at POPL 2018 for our putback-based bidirectional language BiGUL (for programming state-based asymmetric lenses), and discuss this direction with the community.

Tue 10 Apr

16:30 - 18:10: Bx 2018 - Programming and Applications at Baie des Anges B
Chair(s): Kazutaka MatsudaTohoku University
bx-2018-papers16:30 - 17:00
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Japan, Zhenjiang HuNational Institute of Informatics
Link to publication DOI
bx-2018-papers17:00 - 17:30
Jeremy GibbonsDepartment of Computer Science, University of Oxford, Guillaume Boisseau
bx-2018-papers17:30 - 18:00
Perdita StevensUniversity of Edinburgh
bx-2018-papers18:00 - 18:10
Day closing