Advanced Symbolic Analysis For Compilers door Thomas Fahringer & Bernhard Scholz