论文部分内容阅读
用形式技术描述过程序语义,是近年来有较大发展的一门前沿技术,其目标是用一个严格定义的形式模型表达程序的语义.这对于程序的形式开发与验证有着重要的意义.国外将它誊为“九十年代软件开发新模式的革命性方法”.本文采用这门技术构造了 COBOL 语言的形式语义模型.用抽象的形式描述等同表达 COBOL 语言文本定义中关于静态语义,功态语义的文字描述规则.第一次较完整地给出一个 COBOL 语言的形式语义模型.