正确性证明相关论文
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
当今,并发程序设计已成为计算机界关注的研究领域.众多学者利用Pteri网、时序逻辑等理论工具进行这一领域的研究.然而,这些理论模......
该文给出了一个JVML子集的在线部分计值器.在线部分计值器是由静态参数的具体值一步计算完成而得到剩余程序,它产生剩余程序的时间......
