𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Static Analysis Volume 2126 || Abstract Interpretation-Based Static Analysis of Mobile Ambients

✍ Scribed by Cousot, Patrick

Book ID
121458267
Publisher
Springer Berlin Heidelberg
Year
2001
Weight
292 KB
Category
Article
ISBN
3540477640

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Stat
[Lecture Notes in Computer Science] Static Analysis Volume 2126 || Abstract Interpretation-Based Static Analysis of Mobile Ambients
✍ Cousot, Patrick πŸ“‚ Article πŸ“… 2001 πŸ› Springer Berlin Heidelberg 🌐 German βš– 292 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Symposium On Static Analysis, Sas 2001, Held In Paris, France, In July 2001. The 21 Revised Full Papers Presented Together With 2 Invited Papers Were Carefully Reviewed And Selected From 62 Submissions; Also Included Are 5 Abstr

[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