Connecting effects and uniqueness with adoption

DOI10.1145/1040305.1040329MaRDI QIDQ5276153zbMATH OpenOpenAlexFDO

Authors 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

adoptionownershippermissionsuniqueness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1728233
• Uniqueness logic
• A step-indexed model of substructural state
• The marriage of effects and monads
• The marriage of effects and monads

Cited in

(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

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