*Result*: Verified bytecode verification and type-certifying compilation
Title:
Verified bytecode verification and type-certifying compilation
Authors:
Source:
In Journal of Logic and Algebraic Programming 2004 58(1):27-60
Database:
ScienceDirect