Capabilities for sharing. A generalisation of uniqueness and read-only

DOI10.1007/3-540-45337-7_2MaRDI QIDQ2779230zbMATH OpenFDO

Authors John Tang Boyland, William Retert, James Noble

Publication date 15 April 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2072/20720002

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• A type system for borrowing permissions
• A generic usage analysis with subeffect qualifiers
• Polymorphic Fractional Capabilities
• Alias burying: Unique variables without destructive reads
• Uniqueness logic

Cited in

(8)

• Bestow and atomic: concurrent programming using isolation, delegation and grouping
• A type system for borrowing permissions
• A semantic model of confinement and locality theorem
• Introduction to the special issue on computational logic for verification
• A concurrent constraint programming interpretation of access permissions
• Alias burying: Unique variables without destructive reads
• Connecting effects and uniqueness with adoption
• Formally understanding Rust's ownership and borrowing system at the memory level

This page was built for publication: Capabilities for sharing. A generalisation of uniqueness and read-only

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2779230)