Program analysis for safety guarantees in a Java virtual machine written in Java - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jan-Willem Maessen' in GoogleThis author has not been identified. It may be one of the following persons:

Vivek Sarkar

Look up 'Vivek Sarkar' in GoogleThis author has not been identified. Look up 'David Grove' in Google

runs on WebDSL