By David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
This ebook constitutes the refereed lawsuits of the twelfth foreign convention on Verification, version Checking, and summary Interpretation, VMCAI 2011, held in Austin, TX, united states, in January 2011, co-located with the Symposium on rules of Programming Languages, POPL 2011.
The 24 revised complete papers provided including four invited talks have been rigorously reviewed and chosen from seventy one preliminary submissions. The papers showcases cutting-edge learn in parts comparable to verification, version checking, summary interpretation and deal with any programming paradigm, together with concurrent, constraint, useful, relevant, common sense and object-oriented programming. extra issues coated are static research, deductive tools, application certification, debugging recommendations, summary domain names, variety platforms, and optimization.