A Theory of Least Change for Bidirectional Transformations

This is a EPSRC-funded project (number EP/K020218/1) running from March 2013 to December 2016.

The project is led at Edinburgh by Perdita Stevens (PI), working with James Cheney (co-I) and James McKinna (research co-I and full time Senior Research Fellow).

The project is joint with Oxford University, with Jeremy Gibbons (PI) and Faris Abou-Saleh (RA). They maintain a separate project web page here: Oxford TLCBX page

Summer School

We organised a Summer School, held 25th to 29th July 2016 at Lady Margaret Hall, Oxford, UK. A volume of lecture notes from the School, to be published in Springer LNCS, is in preparation.

Lecturers

Anthony Anjorin, University of Paderborn, DE Bx with Triple Graph Grammars

Martin Hofmann, Ludwig-Maximilians-Universitaet Muenchen, DE Modular Edit Lenses

Zhenjiang Hu, National Institute of Informatics, JP Principles and Practice of Putback-based Bidirectional Programming in BiGUL

Mike Johnson, Macquarie University, AU Mathematical Foundations of Bidirectional Transformations

Richard Paige, University of York, UK Engineering Bidirectional Transformations

Research Outputs

Bx Examples Repository

One of the things we are doing on this project is developing a Bx Example Repository.

Papers

We list here the papers most directly relevant to this project; others are listed on our own home pages.