The LOOP Compiler for Java and (2001)

by J Berg, B Jacobs
Venue:JML, Proceedings of TACAS