Print Email Facebook Twitter Bootstrapping the statix meta-language Title Bootstrapping the statix meta-language Author Janssen, Boris (TU Delft Electrical Engineering, Mathematics and Computer Science) Contributor Ahrens, B.P. (mentor) Spaan, M.T.J. (graduation committee) Zwaan, A.S. (graduation committee) Poulsen, C.B. (graduation committee) Degree granting institution Delft University of Technology Programme Computer Science Date 2023-04-13 Abstract The Statix meta-language has been developed in order to simplify the definition of static semantics in programming languages. A high-level static semantics definition of a language in Statix can be used to generate a type-checker, hence abstracting over the shared implementation details. Statix should be able to express the static semantics of itself as well. The process of defining a language using itself is called bootstrapping. In this thesis we discuss the bootstrapping of the Statix meta-language within the Spoofax language workbench. The bootstrapping of a type-system domain specific language hasn't previously been discussed in existing work. It acts as an interesting case study on the use of Statix to define semantics for a constraint-based declarative language as well as the use of Statix throughout a full compiler pipeline. In addition bootstrapping grants Statix a more expressive type system, which enables the future development of the language.Throughout this thesis we discuss the components of the Statix compiler and explain how these changed as part of the bootstrapping process. The correctness is validated by comparing compiled specifications of the bootstrapped compiler and the existing reference solution for alpha equivalence. We also provide a brief indication of the performance of the bootstrapped Statix compiler.The bootstrapped compiler is believed to be correct, but does currently not perform to the desired standard. The compiler is successful on smaller language projects, but has a massive growth in compile time when it is used on larger, more complex language projects. This means future work is needed in order for it to be incorporated into the language workbench. To reference this document use: http://resolver.tudelft.nl/uuid:6e52270b-16e0-4052-897c-844ee5951863 Part of collection Student theses Document type master thesis Rights © 2023 Boris Janssen Files PDF msc_thesis_Boris_Janssen.pdf 394.74 KB Close viewer /islandora/object/uuid:6e52270b-16e0-4052-897c-844ee5951863/datastream/OBJ/view