程序正确性验证相关论文
基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域，该方法以程序的语法树作为程序正确性的检验对象，运用适当......
提出了一种新的基于语法树的程序正确性验证方法(STM方法)。在理论和算法上对方法的实现进行了初步探讨,并结合XML技术提出了一套......
程序设计方法学中的结构化程序设计张正瑜（山东财政学院信息系，济南，２５００１４）随着计算机技术的日新月异的发展，计算机无论在容量上，还是在速度上......
基于语法树的程序正确性验证方法是目前程序正确性验证全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的......
