A formal specification of Java™ class loading

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 35, Issue 10, 2000, Pages 325-336

  Qian, Z ^a   Goldberg, A ^a   Coglio, A ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC PROGRAMMING; SECURITY OF DATA; VIRTUAL REALITY;

DYNAMIC CLASS LOADING; JAVA VIRTUAL MACHINE (JVM);

JAVA PROGRAMMING LANGUAGE;

EID: 0034448380     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/354222.353193     Document Type: Conference Paper

References (22)

1. Program fragments, linking, and modularization
2. Type safety in the JVM: Some problems in JDK 1.2.2 and proposed solutions
3. Towards a provably-correct implementation of the JVM bytecode verifier
4. The security of static typing with dynamic linking
5. Proof linking: An architecture for modular verification of dynamically-linked mobile code
6. Formal Methods Program - SRI Computer Science Laboratory
7. Type-safe linking and modular assembly language
8. A specification of Java loading and bytecode verification
9. Security and dynamic class loading in Java: A formalisation
10. Dynamic class loading in the Java™ virtual machine
11. Standard fixpoint iteration for Java bytecode verification
12. A formal specification of Java™ virtual machine instructions for objects, methods and subroutines
13. Careful analysis of type spoofing