Bootstrapping Domain-Specific Meta-Languages in Language Workbenches
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 develop recipes for conducting breaking meta-language changes in a bootstrapped language workbench. We have applied sound bootstrapping to the Spoofax language workbench and report on our experience.
Mon 31 Oct Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10 | Generative Programming IIGPCE at Zürich 1 Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark | ||
13:30 30mTalk | Actor Profiling in Virtual Execution Environments GPCE Andrea RosàUniversità della Svizzera italiana, Lydia Y. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano | ||
14:00 30mTalk | Bootstrapping Domain-Specific Meta-Languages in Language Workbenches GPCE Gabriël KonatDelft University of Technology, Sebastian ErdwegDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands Link to publication DOI Pre-print Media Attached | ||
14:30 30mTalk | Dependence-Driven Delimited CPS Transformation for JavaScript GPCE Laure PhilipsSoftware Languages Lab, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel, Belgium File Attached |