TY  - BOOK
AU  - Jhala,Ranjit
AU  - Schmidt,David
ED  - SpringerLink (Online service)
TI  - Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642182754
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer software
KW  - Logic design
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Algorithm Analysis and Problem Complexity
KW  - Mathematical Logic and Formal Languages
KW  - Programming Techniques
N2  - This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization
UR  - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-18275-4
ER  -