Inference of Program Properties with Attribute Grammars, Revisited. - Adriaan Middelkoop (2012)