A semantic model of confinement and locality theorem

DOI10.1007/S11704-009-0075-6zbMath1267.68091OpenAlexW2145371024MaRDI QIDQ351976

Yijing Liu, Qin Shu, Zong-Yan Qiu, Shu-Ling Wang

Publication date: 4 July 2013

Published in: Frontiers of Computer Science in China (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-009-0075-6

zbMATH Keywords

operational semanticsconfinementownershipconfined typelocality theoremwell confined program

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Related Items (1)

Confinement framework for encapsulating objects

Cites Work

• Ownership confinement ensures representation independence for object-oriented programs
• Confined types in Java
• Alias burying: Unique variables without destructive reads
• Representation independence, confinement and access control [extended abstract]
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A semantic model of confinement and locality theorem