JAC—Access right based encapsulation for Java

DOI10.1002/SPE.372MaRDI QIDQ4791058zbMATH OpenOpenAlexFDO

Authors Günter Kniesel, Dirk Theisen

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.372

zbMATH Keywords

securityaliasingJavaencapsulationaccess rights

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1304000
• Confined types in Java
• Ownership confinement ensures representation independence for object-oriented programs
• Java access protection through typing
• Ownership types for object encapsulation

Cited in

(2)

• An attribute-grammar framework for specifying the accessibility in Java programs
• Protecting representation with effect encapsulation

This page was built for publication: JAC—Access right based encapsulation for Java

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