Cover Image
Read Now

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

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...

Full description

Bibliographic Details
Other Authors: Jhala, Ranjit (Editor), Schmidt, David (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2011, 2011
Edition:1st ed. 2011
Series:Theoretical Computer Science and General Issues
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Programming Techniques
Computer Science
Computer Programming
Algorithms
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02314nmm a2200385 u 4500
001 EB000386090
003 EBX01000000000000000239142
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783642182754 
100 1 |a Jhala, Ranjit  |e [editor] 
245 0 0 |a Verification, Model Checking, and Abstract Interpretation  |h Elektronische Ressource  |b 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings  |c edited by Ranjit Jhala, David Schmidt 
250 |a 1st ed. 2011 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2011, 2011 
300 |a XI, 419 p. 90 illus., 11 illus. in color  |b online resource 
653 |a Compilers (Computer programs) 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Programming Techniques 
653 |a Computer science 
653 |a Computer programming 
653 |a Software Engineering 
653 |a Algorithms 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
700 1 |a Schmidt, David  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-642-18275-4 
856 4 0 |u https://doi.org/10.1007/978-3-642-18275-4?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151 
520 |a 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 

Similar Items