#### DMCA

## Separation Logic: A Logic for Shared Mutable Data Structures (2002)

### Cached

### Download Links

- [ftp.cs.cmu.edu]
- [staff.um.edu.mt]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-2.cs.cmu.edu]
- [www.cs.wm.edu]
- [www.brinckerhoff.org]
- [www.scs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.wm.edu]
- [users.dimi.uniud.it]
- [www.brinckerhoff.org]
- [users.dimi.uniud.it]
- [www.comp.nus.edu.sg]
- [www.comp.nus.edu.sg]
- [www-i2.informatik.rwth-aachen.de]
- CiteULike
- DBLP

### Other Repositories/Bibliography

by
John Reynolds

Citations: | 950 - 6 self |