Connecting effects and uniqueness with adoption

DOI10.1145/1040305.1040329zbMath1369.68131OpenAlexW1976247299MaRDI QIDQ5276153

John Tang Boyland, William Retert

Publication date: 14 July 2017

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

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

zbMATH Keywords

uniquenessadoptionownershippermissions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Temporary Read-Only Permissions for Separation Logic ⋮ Separation Logic Contracts for a Java-Like Language with Fork/Join

This page was built for publication: Connecting effects and uniqueness with adoption