Local Reasoning for Global Invariants, Part II: Dynamic Boundaries.
| Autor: | BANERJEE, ANINDYA1 anindya.banerjee@imdea.org, NAUMANN, DAVID A.2 naumann@cs.stevens.edu |
|---|---|
| Zdroj: | Journal of the ACM. Jun2013, Vol. 60 Issue 3, p1-73. 73p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|