𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Static Analysis Volume 7460 || Path-Sensitive Backward Slicing

✍ Scribed by Miné, Antoine; Schmidt, David

Book ID
120829366
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
362 KB
Category
Article
ISBN
3642331254

No coin nor oath required. For personal study only.

📜 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] 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 ⚖ 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 abstra