On the fifth day, you should specify test cases for the static analysis of !MiniJava programs. Initial Project You should start the second milestone from a new initial ...
On the first day of the second part, you will learn the concepts of Stratego step by step in a little tutorial about refactorings. A Simple Rewrite Rule and Strategy ...
At the sixth day, you need to define rewrite rules for desugaring, type projection, and type constraints for !MiniJava. Desugaring A uniform representation of unary ...