Beyond Trees: Calculating Graph-Based Compilers
(2024)
Journal Article
Bahr, P., & Hutton, G. (in press). Beyond Trees: Calculating Graph-Based Compilers. Proceedings of the ACM on Programming Languages,
Bahr and Hutton recently developed an approach to compiler calculation that allows a wide range of compilers to be derived from specifications of their correctness. However, a limitation of the approach is that it results in compilers that produce tr... Read More about Beyond Trees: Calculating Graph-Based Compilers.