Project Details
| Alternative title | Bidirectional Compiler for Software Evolution |
|---|---|
| Status | Finished |
| Effective start/end date | 31/03/18 → 31/03/22 |
Research Groups and Themes
- Programming Languages
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Linked visualisations via Galois dependencies
Perera, R. N. T., Nguyen, M. H., Petricek, T. & Wang, M., 11 Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, p. 1-29 7.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile5 Citations (Scopus)145 Downloads (Pure) -
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, 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 AccessFile5 Citations (Scopus)115 Downloads (Pure)