Abstract |
The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access the state. We argue that these rights are really just sugar for knowledge that certain updates preserve certain invariants. |
Online Copy |
Available as PDF-File |
BibTeX Entry |
@InProceedings{Cohen:PSI2009-43, AUTHOR = {Cohen, E. and Alkassar, A. and Boyarinov, V. and Dahlweid, M. and Degenbaev, U. and Hillebrand, M. and Langenstein, B. and Leinenbach, D. and Moskal, M. and Obua, S. and Paul, W. and Pentchev, H. and Petrova, E. and Santen, T. and Schirmer, N. and Schmaltz, S. and Schulte, W. and Shadrin, A. and Tobies, S. and Tsyban, A. and Tverdyshev, S.}, TITLE = {Invariants, Modularity, and Rights}, VOLUME = {5947}, YEAR = {2009}, PAGES = {43--55}, SERIES = {Lecture Notes in Computer Science}, BOOKTITLE = {Perspectives of Systems Informatics (PSI 2009)}, PUBLISHER = {Springer}, EDITOR = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov}, EE = {http://dx.doi.org/10.1007/978-3-642-11486-1_4}, } |