Correctness of Online Partial Evaluation for Part of JVML

• 类JVML在线部分计值器的正确性证明