论文信息 - A machine-checked model for a Java-like language, virtual machine, and compiler - 字舞流文

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

BV Annotate Auxiliary

Tobias Nipkow | Gerwin Klein | T. Nipkow | Gerwin Klein | G. Klein

[1] Tobias Nipkow,et al. A machine-checked model for a Java-like language, virtual machine, and compiler , 2006, TOPL.