计值规则相关论文
该文给出了一个JVML子集的在线部分计值器.在线部分计值器是由静态参数的具体值一步计算完成而得到剩余程序,它产生剩余程序的时间......
为了有效地构造一个Java部分计值器,并且形式化地描述计值规则,提出了Java字节代码程序的静态语义,在此基础上构造了一个online的J......
定义了JVML指令序列的程序语义,构造了相关的JVML子集部分计值器并形式化地给出了计值规则,证明了计值规则的正确性,说明了表达式......
