A type system for borrowing permissions

  title={A type system for borrowing permissions},
  author={Karl Naden and Robert Bocchino and Jonathan Aldrich and Kevin Bierhoff},
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of concurrency. To be usable, unique permissions must be borrowed --- for example, one must be able to read a unique reference out of a field, use it for something, and put it back. While one can null out the field and later reassign it, this paradigm is ungainly and requires unnecessary writes, potentially hurting cache… CONTINUE READING
Highly Cited
This paper has 64 citations. REVIEW CITATIONS



Citations per Year

65 Citations

Semantic Scholar estimates that this publication has 65 citations based on the available data.

See our FAQ for additional information.