A formal specification of Java

Zhenyu Qian, Allen Goldberg, Alessandro Coglio

Browse the full OOPSLA paper archive.