Jan-Willem Maessen, Vivek Sarkar, David Grove. Program analysis for safety guarantees in a Java virtual machine written in Java. In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 01, Snowbird, Utah, USA, June 18-19, 2001. pages 62-65, ACM, 2001. [doi]
@inproceedings{MaessenSG01,
title = {Program analysis for safety guarantees in a Java virtual machine written in Java},
author = {Jan-Willem Maessen and Vivek Sarkar and David Grove},
year = {2001},
doi = {10.1145/379605.379668},
url = {http://doi.acm.org/10.1145/379605.379668},
tags = {Java, program analysis, analysis},
researchr = {https://researchr.org/publication/MaessenSG01},
cites = {0},
citedby = {0},
pages = {62-65},
booktitle = {Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 01, Snowbird, Utah, USA, June 18-19, 2001},
publisher = {ACM},
isbn = {1-58113-413-4},
}