8030 EPSRC EP/T008911/1 EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations

Wang, Meng (Principal Investigator)

Department of Computer Science

Status	Active
Effective start/end date	1/07/20 → 30/06/23

Structured keywords

Programming Languages

1 Conference Contribution (Conference Proceeding)

Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 20 Oct 2021, ACM on Programming Languages: OOPSLA. OOPSLA ed. Association for Computing Machinery (ACM), Vol. 5. p. 1-31 31 p. 105. (Proceedings of the ACM on Programming Languages).
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Open Access
File