全局计值相关硕士博士期刊学术论文 - 搜论网

全局计值相关论文

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

定义了JVML指令序列的程序语义,构造了相关的JVML子集部分计值器并形式化地给出了计值规则,证明了计值规则的正确性,说明了表达式......

期刊

Java虚拟机语言语义函数计值规则剩余计值全局计值 JVML 在线部分计值器正确性证明 EvaluationJava programming lang

看过本文同时还关注