Verification, Model Checking, and Abstract Interpretation  13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings /  [electronic resource] : 
edited by Viktor Kuncak, Andrey Rybalchenko. 
 - 1st ed. 2012. 
 - X, 457 p. 111 illus.  online resource. 
 - Theoretical Computer Science and General Issues,  7148  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  7148 .
<br/><br/> This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization. 
<br/><br/><label>ISBN: </label>9783642279409 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-27940-9  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Compilers (Computer programs).<br/>Algorithms.<br/>Machine theory.<br/>Computer programming.<br/>Computer Science Logic and Foundations of Programming.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>Algorithms.<br/>Formal Languages and Automata Theory.<br/>Programming Techniques.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151