A static type system for JVM access control (Q5261278)
From MaRDI portal
scientific article; zbMATH DE number 6455116
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A static type system for JVM access control |
scientific article; zbMATH DE number 6455116 |
Statements
A static type system for JVM access control (English)
0 references
2 July 2015
0 references
JVM
0 references
access control
0 references
stack inspection
0 references
type inference
0 references
type system
0 references
