Jens Palsberg, Zhendong Su Static Analysis - 2009 ISBN: 978-3-642-03237-0 Subjects--Topical Terms: Logics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware EngineeringSoftware Engineering/Programming and Operating Systems Programming Languages, Compilers, InterpretersComputer Science