Invariants, Modularity, and Rights

Ernie Cohen and Eyad Alkassar and Vladimir Boyarinov and Markus Dahlweid and Ulan Degenbaev and Mark Hillebrand and Bruno Langenstein and Dirk Leinenbach and Micha{\l} Moskal and Steven Obua and Wolfgang Paul and Hristo Pentchev and Elena Petrova and Thomas Santen and Norbert Schirmer and Sabine Schmaltz and Wolfram Schulte and Andrey Shadrin and Stephan Tobies and Alexandra Tsyban and Sergey Tverdyshev

Invited paper on PSI, 2009


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

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 = {},

Norbert Schirmer