Java字节代码程序的部分计值

为了有效地构造一个 Java部分计值器 ,并且形式化地描述计值规则 ,提出了 Java字节代码程序的静态语义 ,在此基础上构造了一个 online的 Java部分计值器 。