Programming Language Tooling for Hylo
Incremental Compilation and Analysis
D. Bashev (TU Delft - Electrical Engineering, Mathematics and Computer Science)
J.S. Reinders – Mentor (TU Delft - Programming Languages)
M.A. Costea – Mentor (TU Delft - Programming Languages)
Harm Griffioen – Graduation committee member (TU Delft - Cyber Security)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
This paper presents a conceptual model for enabling incremental compilation in Hylo, a modern memory-safe systems programming language currently under development. Drawing from a comparative study of existing incremental compilation techniques, an in-depth analysis of Hylo's front-end architecture, and exploratory experiments, the model categorizes common types of program changes, introduces a scope-aware AST diffing algorithm, and proposes a lightweight dependency tracking mechanism tailored to Hylo's needs.