Java and HotJava: a comprehensive overview | IEEE Conference Publication | IEEE Xplore