EXHIBIT
Expressive High-Level Languages for Bidirectional Transformations
In computer systems, copies of data are very often stored in different formats. Bidirectional transformations are programs that synchronise the data pairwise: when one is changed, the appropriate transformation is run to incorporate the changes in the other format.
The aim of the EXHIBIT project is to streamline the development of bidirectional transformations through a new generation of bidirectional languages. A key design goal is that the new languages will be closely integrated with mainstream general-purpose languages, naturally reusing existing language constructs, libraries, and programming patterns to maximise the usability of the new framework.
News
- Aug 31, 2021
- Our paper “Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches” has been accepted for OOPSLA 2021.
- May 28, 2020
- The site has been moved to this page.
- May 8, 2020
- Our paper “Sparcl: A Language for Partially-Invertible Computation” has been accepted for ICFP 2020.
- Nov 20, 2019
- This project site is created.
Getting Involved
Just email us
Acknowledgement
Our research is partially supported by the following projects.
- EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations, EPSRC EP/T008911/1
- Highly-Usable High-Level Bidirectional Programming Language, JSPS Bilateral Joint Research (OP)
- Bidirectional Compiler for Software Evolution, Royal Society IES\170104
- Kayamori Foundation of Informational Science Advancement, K30研XXIII第529号
- JSPS Grant-in-Aid for Scientific Research (C) 19K11892
- JSPS Grant-in-Aid for Young Scientist (B) 15K15966