Compiler Construction Proseminar