Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 2...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin :
Springer,
[2009]
|
| Series: | Lecture notes in computer science ;
5403. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: | |
| Online Access: | Springer eBooks |
| Summary: | The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas. |
|---|---|
| Item Description: | International conference proceedings. |
| Physical Description: | 1 online resource (xi, 380 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 3540938990 9783540938996 3540939016 9783540939016 1281953652 9781281953650 3540939008 9783540939009 |
| ISSN: | 0302-9743 ; |