Invariants, Modularity, and Rights

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationPerspectives of Systems Informatics
Subtitle of host publication7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
EditorsAmir Pnueli, Irina Virbitskaite, Andrei Voronkov
PublisherSpringer Berlin Heidelberg
Pages43-55
Number of pages13
ISBN (Electronic)978-3-642-11486-1
ISBN (Print)978-3-642-11485-4
DOIs
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume5947
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'Invariants, Modularity, and Rights'. Together they form a unique fingerprint.

Cite this