Program Analysis and Compilation, Theory and Practice
Thomas Reps, Mooly Sagiv, Jörg Bauer
Program Analysis and Compilation, Theory and Practice - New York Springer US 2007 - Lecture Notes in Computer Science .
978-3-540-71322-7
Computer Science
Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques
Program Analysis and Compilation, Theory and Practice - New York Springer US 2007 - Lecture Notes in Computer Science .
978-3-540-71322-7
Computer Science
Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Techniques
