The following pages link to Confined types in Java (Q4791055):
Displaying 7 items.
- A semantic model of confinement and locality theorem (Q351976) (← links)
- Confinement framework for encapsulating objects (Q2418639) (← links)
- Representing Java classes in a typed intermediate language (Q2817720) (← links)
- Properties of Java Simple Closures (Q3097963) (← links)
- JAC—Access right based encapsulation for Java (Q4791058) (← links)
- Representation independence, confinement and access control [extended abstract] (Q5178904) (← links)
- Secure the clones (Q5891583) (← links)