Affiliation:
1. Delft University of Technology, Netherlands
Abstract
It is common practice to bootstrap compilers of programming languages. By using the compiled language to implement the compiler, compiler developers can code in their own high-level language and gain a large-scale test case. In this paper, we investigate bootstrapping of compiler-compilers as they occur in language workbenches. Language workbenches support the development of compilers through the application of multiple collaborating domain-specific meta-languages for defining a language's syntax, analysis, code generation, and editor support. We analyze the bootstrapping problem of language workbenches in detail, propose a method for sound bootstrapping based on fixpoint compilation, and show how to conduct breaking meta-language changes in a bootstrapped language workbench. We have applied sound bootstrapping to the Spoofax language workbench and report on our experience.
Funder
Nederlandse Organisatie voor Wetenschappelijk Onderzoek
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference31 articles.
1. Axiomatic bootstrapping
2. Lorenzo Bettini. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing 2nd edition 2016. Lorenzo Bettini. Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing 2nd edition 2016.
3. A alternate form of the “UNCOL diagram”
4. Stratego/XT 0.17. A language and toolset for program transformation
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Art of Bootstrapping;Communications in Computer and Information Science;2020