Vai al contenuto principale della pagina

Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / / Ranjit Jhala, David Schmidt (eds.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / / Ranjit Jhala, David Schmidt (eds.) Visualizza cluster
Pubblicazione: New York, : Springer, 2011
Edizione: 1st ed. 2011.
Descrizione fisica: 1 online resource (XI, 419 p. 90 illus., 11 illus. in color.)
Disciplina: 005.1015113
Soggetto topico: Computer programs - Verification
Altri autori: JhalaRanjit  
SchmidtDavid  
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 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.
Titolo autorizzato: Verification, model checking, and abstract interpretation  Visualizza cluster
ISBN: 3-642-18275-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910510604903321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science ; ; 6538. LNCS sublibrary. : SL 1, . -Theoretical computer science and general issues.
Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig
Logics of Programs and Their Applications [[electronic resource] ] : Proceedings, Poznan, August 23-29, 1980 / / edited by A. Salwicki
Third International Conference on Logic Programming [[electronic resource] ] : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / / edited by Ehud Shapiro
Semantics of Concurrent Computation [[electronic resource] ] : Proceedings of the International Symposium Evian, France, July 2-4, 1979 / / edited by G. Kahn