Rely-Guarantee Protocols

  title={Rely-Guarantee Protocols},
  author={Filipe Milit{\~a}o and Jonathan Aldrich and Lu{\'i}s Caires},
The use of shared mutable state, commonly seen in object-oriented systems, is often problematic due to the potential conflicting interactions between aliases to the same state. We present a substructural type system outfitted with a novel lightweight interference control mechanism, rely-guarantee protocols, that enables controlled aliasing of shared resources. By assigning each alias separate roles, encoded in a novel protocol abstraction in the spirit of rely-guarantee reasoning, our type… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 34 references

Rely-guarantee protocols (technical report)

F. Militão, J. Aldrich, L. Caires
CMU-CS14-107, • 2014
View 7 Excerpts
Highly Influenced

Typestates for Objects

View 2 Excerpts
Highly Influenced

Typestate: A programming language concept for enhancing software reliability

IEEE Transactions on Software Engineering • 1986
View 1 Excerpt
Highly Influenced

Mechanisms for Compile-Time Enforcement of Security

POPL • 1983
View 1 Excerpt
Highly Influenced

Similar Papers

Loading similar papers…