Alias burying: Unique variables without destructive reads

DOI10.1002/spe.370zbMath1009.68878OpenAlexW2077288840MaRDI QIDQ4791056

John Tang Boyland

Publication date: 4 February 2003

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.370

zbMATH Keywords

compromiseborrowedunshared

Mathematics Subject Classification ID

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

Related Items (4)

Confined types in Java ⋮ A semantic model of confinement and locality theorem ⋮ Flexible recovery of uniqueness and immutability ⋮ Unnamed Item

Uses Software

• Virginity

Cites Work

• Unnamed Item
• Linear logic
• Virginity: A contribution to the specification of object-oriented software
• Detecting global variables in denotational specifications

This page was built for publication: Alias burying: Unique variables without destructive reads