Xavier Rival Static Analysis - Springer 2016 - Lecture Notes in Computer Science . ISBN: 9783662534137 Subjects--Index Terms: Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages