程序规约相关论文
算法是对问题求解过程的精确描述,它不仅是计算机科学的一个分支,更是计算机科学的核心,可以毫不夸张地说,它同大多数科学、商业和......
本文利用PAR方法形式化推导了三个在程序设计教科书中常常出现的典型算法程序,进而说明了PAR方法在算法程序形式化推导中的作用,探......
在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变......
算法是计算机科学的核心，算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性......
算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法，并清晰地展示了程序设计的过程......
组合数学问题算法的研究是计算机科学的重要研究内容,但在许多相关文献中,许多组合数学问题的算法只是经过简单分析得到,并未给出......
介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这......
用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键.文章针对B方法,介绍了其产生的历史背景,......
程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的......
组合数学是研究离散对象的科学,而计算机处理的对象主要是离散数据,因此,关于组合数学问题算法的研究一直以来都是计算机科学的重......
