计算机科学与探索2010，Vol.4Issue(1)：20-28,9.DOI:10.3778/j.issn.1673-9418.2010.01.002
O-表达式的性质定义与规范
Received 2009-07Definitions and Specifications of O-expression Properties
摘要
关键词
O-表达式/独立O-表达式/安全性/进展性/不变性/程序规范Key words
O-expression/stand-alone O-expression (saloe)/safety/progress property/invariant/program specification分类
信息技术与安全科学引用本文复制引用
袁崇义,赵文,高昕,黄雨..O-表达式的性质定义与规范[J].计算机科学与探索,2010,4(1):20-28,9.基金项目
The National Natural Science Foundation of China under Grant No.60803014(国家自然科学基金) （国家自然科学基金）
the National High-Tech Research and Development Plan of China under Grant No.2006AA012160(国家高技术研究发展计~(863)) （国家高技术研究发展计~(863）
the National Research Foundation for Doctoral Program of Higher Education of China under Grant No.200800011017(国家教育部博士点新教师基金). （国家教育部博士点新教师基金）
