http://www2.in.tum.de/hp/Main?nid=371
The first two phases, i.e. lexical and syntactical analysis of the input program, are a major application for formal methods. Later on, e.g. during code generation, we treat methods for register allocation via approxi
