@inproceedings{parkinson2010the,
author = {Parkinson, Matthew J.},
title = {The Next 700 Separation Logics},
series = {Lecture Notes in Computer Science},
booktitle = {2010 Verified Software: Theories, Tools, Experiments},
year = {2010},
month = {August},
abstract = {In recent years, separation logic has brought great advances in the world of verification. However, there is a disturbing trend for each new library or concurrency primitive to require a new separation logic. I will argue that we shouldn’t be inventing new separation logics, but should find the right logic to reason about interference, and have a powerful abstraction mechanism to enable the library’s implementation details to be correctly abstracted. Adding new concurrency libraries should simply be a matter of verification, not of new logics or metatheory.},
publisher = {Springer Berlin / Heidelberg},
url = {http://approjects.co.za/?big=en-us/research/publication/the-next-700-separation-logics/},
pages = {169-182},
volume = {6217},
edition = {Verified Software: Theories, Tools, Experiments},
note = {10.1007/978-3-642-15057-9_12},
}