Confined types in Java
From MaRDI portal
Publication:4791055
DOI10.1002/spe.369zbMath1009.68879OpenAlexW2151961331MaRDI QIDQ4791055
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.369
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Computing methodologies and applications (68U99)
Related Items (2)
A semantic model of confinement and locality theorem ⋮ Confinement framework for encapsulating objects
Cites Work
This page was built for publication: Confined types in Java