"Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization " - читать интересную книгу автора (Thomas Fahringer, Bernhard Scholz)