Rely-Guarantee Protocols

@inproceedings{Milito2014RelyGuaranteeP,
  title={Rely-Guarantee Protocols},
  author={Filipe Milit{\~a}o and Jonathan Aldrich and Lu{\'i}s Caires},
  booktitle={ECOOP},
  year={2014}
}
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

References

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…