𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 4349 || Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes

✍ Scribed by Cook, Byron; Podelski, Andreas

Book ID
121864205
Publisher
Springer Berlin Heidelberg
Year
2007
Tongue
German
Weight
513 KB
Edition
2007
Category
Article
ISBN
3540697357

No coin nor oath required. For personal study only.

✦ Synopsis

Byron Cook, Andreas Podelski (eds.). Includes Bibliographical References And Index.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Static Analysis of String Encoders and Decoders
✍ Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella πŸ“‚ Article πŸ“… 2013 πŸ› Springer Berlin Heidelberg 🌐 English βš– 368 KB

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full pap

[Lecture Notes in Computer Science] Veri
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Abstraction of Syntax
✍ Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella πŸ“‚ Article πŸ“… 2013 πŸ› Springer Berlin Heidelberg 🌐 English βš– 267 KB

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full pap