JVML相关论文
该文给出了一个JVML子集的在线部分计值器.在线部分计值器是由静态参数的具体值一步计算完成而得到剩余程序,它产生剩余程序的时间......
定义了JVML指令序列的程序语义,构造了相关的JVML子集部分计值器并形式化地给出了计值规则,证明了计值规则的正确性,说明了表达式......
