论文部分内容阅读
本文主要包括四部分内容。第一部分介绍了部分计值技术的理论基础和研究现状以及应用。第二部分介绍了Java虚拟机的体系结构和Java语言部分计值研究的发展现状。第三部分是本文的重点,选择Java字节码程序作为部分计值研究的对象,首先按照Java语言的特性把Java分为了五个层次,命名为JavaI、JavaC、JavaO、JavaE和JavaT,然后分析了由JavaI程序编译得到的JVMLI字节码程序的指令序列结构,定义了JVMLI字节码程序的指称语义,并在此基础上形式化的提出了JVMLI程序的部分计值规则,然后定义了部分计值正确性的含义并使用归纳法证明了这些计值规则的正确性。本文的最后一部分简单讨论了JVMLC 、JVMLO 、JVMLE 和JVMLT 的部分计值,由于引入了面向对象和异常处理,特别是线程机制的思想,研究语言语义的难度就迅速增大,该部分的研究工作还在继续进行,主要是使用抽象状态机(ASM,Abstract State Machine)[25]来刻划Java虚拟机及其运行时数据区,然后定义语义和部分计值的规则,最后证明部分计值的正确性。