This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010.
The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.
Lieferbar
ISBN | 9783642113185 |
---|---|
Sprache | eng |
Cover | C, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Algorithms, computer science, Programming languages (Electronic computers), Computer programming, Computer logic, Operating systems, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Computer architecture & logic design, Algorithms & data structures, Kartonierter Einband (Kt) |
Verlag | Springer Nature EN |
Jahr | 2010 |
Dieser Artikel hat noch keine Bewertungen.