Comparing Static Semantics Specifications for the IceDust DSL: A Case Study of Statix

Reusable tools for engineering software languages can bridge the gap between formal specification and implementation, lowering the bar for engineers to design and implement programming languages. Among such tools belong NaBL2 and its successor Statix, which are meta-languages for declaratively specifying the static semantics of programming...

BEPSys 2.0: Central Registration Tool for Projects and Groups

The following report outlines the research, development, and delivery phases of the BEPSys 2.0 application. The application aims to provide central project registration and management for courses at the TU Delft. The request for the development stemmed from Otto Visser, who was the acting coordinator for the Computer Science Final Project Course...