基于良序集方法的程序终止性证明  

作　　者：彭瑞峰[1] 丁志义[1] 王家伟[1] 

机构地区：[1]宁夏大学数学计算机学院,宁夏银川750021

出　　处：《软件导刊》2009年第6期33-35,共3页Software Guide

摘　　要：在介绍程序正确性的定义和良序集的概念基础上,对良序集证明程序终止性思路和步骤进行了分析,利用实例来证明程序的终止性。

关 键 词：良序集 程序正确性 程序证明 程序终止性 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]