Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York :
Springer,
©2011
|
| Series: | LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 6538 |
| Subjects: |
| LEADER | 05034nam a2200889Ia 4500 | ||
|---|---|---|---|
| 001 | 44c95f33-1ee2-4c41-b079-ad3ecc95311d | ||
| 005 | 20240926000000.0 | ||
| 008 | 110301s2011 gw a ob 101 0 eng d | ||
| 019 | |a 769768041 |a 880315918 | ||
| 020 | |a 3642182755 |q (electronic bk.) | ||
| 020 | |a 9783642182754 |q (electronic bk.) | ||
| 020 | |z 9783642182747 | ||
| 024 | 7 | |a 10.1007/978-3-642-18275-4 |2 doi | |
| 035 | |a (OCoLC)704395431 |z (OCoLC)769768041 |z (OCoLC)880315918 |z (OCoLC)1066690353 |z (OCoLC)1086566227 | ||
| 035 | |a (OCoLC)704395431 |z (OCoLC)769768041 |z (OCoLC)880315918 | ||
| 035 | |a (Sirsi) a9116359 | ||
| 035 | |a (Sirsi) spocn704395431 | ||
| 037 | |a 978-3-642-18274-7 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCQ |d GZM |d OCLCQ |d OCLCO |d OCLCF |d BEDGE |d OCLCO |d SLY |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d VT2 |d SHS |d ESU |d IOG |d BUF |d CEF |d TFW |d U3W |d WYU |d YOU |d OCLCQ |d WURST |d AJS |d CSt | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCQ |d GZM |d OCLCQ |d OCLCO |d OCLCF |d BEDGE |d OCLCO |d SLY |d OCLCO |d OCL |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d VT2 | ||
| 049 | |a MAIN | ||
| 050 | 4 | |a QA76.76.V47 |b V53 2011 | |
| 072 | 7 | |a COM036000 |2 bisacsh | |
| 072 | 7 | |a COM051000 |2 bisacsh | |
| 072 | 7 | |a UM |2 bicssc | |
| 072 | 7 | |a UYF |2 bicssc | |
| 082 | 0 | 4 | |a 005.1/4 |2 22 |
| 084 | |a TP311. 1-532 |2 clc | ||
| 111 | 2 | |a VMCAI 2011 |d (2011 : |c Austin, Tex.) |1 http://viaf.org/viaf/175532087 | |
| 111 | 2 | |a VMCAI 2011 |d (2011 : |c Austin, Tex.) | |
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation : |b 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / |c Ranjit Jhala, David Schmidt (eds.) |
| 246 | 3 | 0 | |a VMCAI 2011 |
| 260 | |a Berlin ; |a Heidelberg ; |a New York : |b Springer, |c ©2011 | ||
| 300 | |a 1 online resource (xi, 418 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 6538 | |
| 504 | |a Includes bibliographical references and author index | ||
| 520 | |a This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization | ||
| 588 | 0 | |a Print version record | |
| 650 | 0 | |a Computer software |x Verification |v Congresses | |
| 650 | 7 | |a Computer software |x Verification |2 fast | |
| 650 | 7 | |a Informatique |2 eclas | |
| 650 | 0 | 7 | |a Computer software |x Verification |2 cct |
| 653 | 0 | 0 | |a algorithms |
| 653 | 0 | 0 | |a algoritmen |
| 653 | 0 | 0 | |a computer analysis |
| 653 | 0 | 0 | |a computer sciences |
| 653 | 0 | 0 | |a computeranalyse |
| 653 | 0 | 0 | |a computerwetenschappen |
| 653 | 0 | 0 | |a logic |
| 653 | 0 | 0 | |a logica |
| 653 | 0 | 0 | |a mathematics |
| 653 | 0 | 0 | |a programmeertalen |
| 653 | 0 | 0 | |a programmeren |
| 653 | 0 | 0 | |a programming languages |
| 653 | 0 | 0 | |a programming |
| 653 | 0 | 0 | |a software engineering |
| 653 | 0 | 0 | |a wiskunde |
| 653 | 1 | 0 | |a Informatie- en communicatietechnologie (algemeen) |
| 653 | 1 | 0 | |a Information and Communication Technology (General) |
| 655 | 4 | |a Electronic books | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Jhala, Ranjit |1 http://viaf.org/viaf/168139616 | |
| 700 | 1 | |a Jhala, Ranjit | |
| 700 | 1 | |a Schmidt, David A., |d 1953 May 10- |1 http://viaf.org/viaf/51786663 | |
| 700 | 1 | |a Schmidt, David A., |d 1953 May 10- | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642182747 |
| 830 | 0 | |a LNCS sublibrary |n SL 1, |p Theoretical computer science and general issues. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 6538 |x 0302-9743 | |
| 999 | 1 | 0 | |i 44c95f33-1ee2-4c41-b079-ad3ecc95311d |l a9116359 |s US-CST |m verification_model_checking_and_abstract_interpretation12th_internatio_____2011_______sprina________________________________________vmcai_2011_________________________e |
| 999 | 1 | 0 | |i 44c95f33-1ee2-4c41-b079-ad3ecc95311d |l 11075391 |s US-ICU |m verification_model_checking_and_abstract_interpretation12th_internatio_____2011_______sprina________________________________________vmcai_2011_________________________e |
| 999 | 1 | 1 | |l a9116359 |s ISIL:US-CST |t BKS |b f96fa27f-38c4-55c3-b31a-9879cc9ef21b |y f96fa27f-38c4-55c3-b31a-9879cc9ef21b |p UNLOANABLE |
| 999 | 1 | 1 | |l a9116359 |s ISIL:US-CST |t BKS |a SUL-ELECTRONIC |p UNLOANABLE |