Separation Logic: A Logic for Shared Mutable Data Structures (2002)
Cached
Download Links
- [ftp.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- CiteULike
- DBLP
Other Repositories/Bibliography
by
John Reynolds
| Citations: | 583 - 5 self |
Document Versions
| Separation Logic: A Logic for Shared Mutable Data Structures –John Reynolds — 2002 |
| Separation Logic: A Logic for Shared Mutable Data Structures –John C. Reynolds |
