华北电力大学学报(自然科学版)

1984, (04) 29-40

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

汇编语言程序设计中的正确性研究
The Study of Program Correctness in Assembler Programming

连迩遐;王代潮;

摘要(Abstract):

<正> 近年来,国外对计算机程序的正确性的验证技术进行了大量的研究,其目的都是为了提高软件的可靠性.程序正确性的证明也愈来愈成为程序设计的一个重要组成部分。在国内,在程序的正确性证明方面也已开展了许多研究工作,这个问题日益受到广大软件工作者的重视。随着计算机应用领域的不断扩大,计算机软件的可靠性也日趋重要,计算机程序中的错误往往造成应用领域里的严重损失。因此,人们总是想把数学的严密性不断地应用于程序设计过程中去。类似于数学学科在其发展中经历了形式化和公理化的过程,在程

关键词(KeyWords):

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 连迩遐;王代潮;

Email:

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享