Vai al contenuto principale della pagina
Titolo: |
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings / / edited by Viktor Kuncak, Andrey Rybalchenko
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Edizione: | 1st ed. 2012. |
Descrizione fisica: | 1 online resource (X, 457 p. 111 illus.) |
Disciplina: | 005.1015113 |
Soggetto topico: | Computer science |
Software engineering | |
Compilers (Computer programs) | |
Algorithms | |
Machine theory | |
Computer programming | |
Computer Science Logic and Foundations of Programming | |
Software Engineering | |
Compilers and Interpreters | |
Formal Languages and Automata Theory | |
Programming Techniques | |
Persona (resp. second.): | KuncakViktor |
RybalchenkoAndrey | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di bibliografia: | Includes bibliographical references and index. |
Sommario/riassunto: | This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization. |
Titolo autorizzato: | Verification, Model Checking, and Abstract Interpretation ![]() |
ISBN: | 3-642-27940-6 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465877403316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |