Java access protection through typing
From MaRDI portal
Recommendations
- A static type system for JVM access control
- scientific article; zbMATH DE number 1693037
- A type system for the Java bytecode language and verifier
- A simple semantics and static analysis for stack inspection
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification
Cites work
Cited in
(4)
This page was built for publication: Java access protection through typing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329631)