A formal specification of Java:::TM::: class loading

Zhenyu Qian, Allen Goldberg, Alessandro Coglio. A formal specification of Java:::TM::: class loading. In OOPSLA. pages 325-336, 2000. [doi]

Abstract

Abstract is missing.