A machine-checked model for a Java-like language, virtual machine and compiler (2004)

by Gerwin Klein , Tobias Nipkow
Venue:ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:97 - 8 self