A Formal Specification of Java Class Loading (2000)

by Zhenyu Qian , Allen Goldberg , Alessandro Coglio , Ro Coglio
Citations:30 - 2 self

Document Versions

A Formal Specification of Java Class Loading –Zhenyu Qian, Allen Goldberg, Alessandro Coglio, Ro Coglio — 2000
A Formal Specification of Java Class Loading –Zhenyu Qian, Allen Goldberg, Alessandro Coglio — 2000 — In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA