Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
| Author/creator | Jhala, Ranjit Editor |
| Other author | Schmidt, David Editor |
| Other author | ACM Digital Library. |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | xi, 419 p. ill 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from ACM Digital Library |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2011 English International |
| Subjects |
| Series | Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser. |
| Summary | Annotation This book constitutes the refereed proceedings of the 12th InternationalConference on Verification, Model Checking, and Abstract Interpretation,VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located withthe Symposium on Principles of Programming Languages, POPL 2011.The 24 revised full papers presented together with 4 invited talks werecarefully reviewed and selected from 71 initial submissions. The papersshowcases state-of-the-art research in areas such as verification, modelchecking, abstract interpretation and address any programming paradigm,including concurrent, constraint, functional, imperative, logic andobject-oriented programming. Further topics covered are static analysis,deductive methods, program certification, debugging techniques, abstractdomains, type systems, and optimization. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2010942255 |
| ISBN | 9783642182747 |
| ISBN | 3642182747 (Trade Paper) Active Record |
| Standard identifier# | 9783642182747 |
| Stock number | 3642182747 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |