Developing a Deca subset compiler

31. Jan 2018 · 1 min read

In this project with 5 students at ENSIMAG, Grenoble we had to develop a compiler for a subset of Deca. The project tought us a number of lessons, both, on software engineering and management as well as on compiler construction. The compiler was implemented in Java using ANTLR. Unfortunately, it is impossible to publish the resulting work due to copyright restrictions.

Samuel Teuber
Authors
PhD Student
Interested in formal methods for software and machine learning verification with a focus on cyber-physical systems and algorithmic fairness.