A type system for borrowing permissions

DOI10.1145/2103656.2103722zbMath1321.68173OpenAlexW4241045451MaRDI QIDQ2942905

Karl Naden, Robert L. Bocchino, Jonathan Aldrich, Kevin Bierhoff

Publication date: 11 September 2015

Published in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2103656.2103722

zbMATH Keywords

typesuniquenessborrowingimmutabilitypermissions

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (5)

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers ⋮ Temporary Read-Only Permissions for Separation Logic ⋮ Flexible recovery of uniqueness and immutability ⋮ A concurrent constraint programming interpretation of access permissions ⋮ Unnamed Item

This page was built for publication: A type system for borrowing permissions