상세 보기
초록
The core of class loading is assured of type safety. In JVM, type safety mechanism is very difficult and access of accuracy is not clear, so type safety problems were raised. In paper, we analysis simple Java code and present a diagram graph and an operational semantics for dynamic class loading and type safety.
- 제목
- Formalizing the Safety of Java Virtual Machine
- 저자
- WEON HEE YOO
- 학회명
- The Third International Symposium on Communications and Information Technologies