John Whaley Joeq: A virtual machine and compiler infrastructure. 339-356 2005 57 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2004.08.006 db/journals/scp/scp57.html#Whaley05