Searched for: author%3A%22Aerts%2C+Taico%22
(1 - 2 of 2)
Aerts, Taico (author)
Statix is a language which generates a type checker from a declarative specification. However, Statix is not fast enough for quick feedback in IDEs because it always has to reanalyze all files. In this thesis, we improve the analysis time of Statix by applying the ideas of separate compilation to create a model for incremental analysis. Statix...
master thesis 2019
Crielaard, Bram (author), Bruin, Chiel (author), Aerts, Taico (author)
WebLab is a system where students can write and test code using an online interface. Course coordinators can create assignments and exams, where they can define automated tests to verify that the student code meets requirements. As WebLab only offered support for programming languages which run on the Java Virtual Machine, it was limited to a...
bachelor thesis 2017