Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer programs --- Computer Science --- Engineering & Applied Sciences --- Verification --- Information Technology --- Software Engineering --- Computer science. --- Informatics --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Algorithms. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Software Engineering. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Science --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Foundations --- Programming --- Computer files --- Computer software --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Compilers (Computer programs). --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Compiling programs (Computer programs) --- Programming software --- Systems software