"Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization" - читать интересную книгу автора (Thomas Fahringer, Bernhard Scholz)