O-表达式的性质定义与规范

doi:10.3778/j.issn.1673-9418.2010.01.002

CORC > 北京大学 > 信息科学技术学院

	O-表达式的性质定义与规范; Received 2009-07Definitions and Specifications of O-expression Properties
	袁崇义 ; 赵文 ; 高昕 ; 黄雨
刊名	计算机科学与探索
	2010
关键词	O-表达式独立O-表达式安全性进展性不变性程序规范 O-expression stand-alone O-expression (saloe) safety progress property invariant program specification
DOI	10.3778/j.issn.1673-9418.2010.01.002
英文摘要	在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式.给出了此类表达式(O-表达式)的安全性和进展性性质的形式化定义,用实例说明了基于这些性质的形式化程序规范的模式.具有明确运行目标的O-表达式称为独立O-表达式(stand-alone O-expression,saloe).一个完整的程序可能由若干个saloe组成.给出了一个定理,指出如何从这些saloe的性质导出完整性程序的性质.用大量实例阐明了程序性质的形式定义.; 国家自然科学基金; the National High-Tech Research and Development Plan of China; the National Research Foundation for Doctoral Program of Higher Education of China; 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 1; 20-28; 4
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/245684]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	袁崇义,赵文,高昕,等. O-表达式的性质定义与规范, Received 2009-07Definitions and Specifications of O-expression Properties[J]. 计算机科学与探索,2010.
APA	袁崇义,赵文,高昕,&黄雨.(2010).O-表达式的性质定义与规范.计算机科学与探索.
MLA	袁崇义,et al."O-表达式的性质定义与规范".计算机科学与探索 (2010).