Course project for Analysis of Programming Languages (INF212)