𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Static Analysis Volume 1302 || Static analysis of interaction nets for distributed implementations

✍ Scribed by Hentenryck, Pascal

Book ID
115469816
Publisher
Springer Berlin Heidelberg
Year
1997
Weight
932 KB
Category
Article
ISBN-13
9783540634683

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