程序:物理对象上的操作表达式

doi:10.3778/j.issn.1673-9418.2009.02.003

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

	程序:物理对象上的操作表达式; Program: Expressions of Operations on Physical Objects
	袁崇义 ; 黄雨 ; 赵文
刊名	计算机科学与探索
	2009
关键词	程序物理对象物理对象上的操作物理对象上的操作表达式语义公理 program physical object operation on physical object expression of operations on physical object semantic axiom
DOI	10.3778/j.issn.1673-9418.2009.02.003
英文摘要	把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式).给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义.主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系.反应式O表达式要对外来需求作反应.描述反应的公理规定如何反应.有关通讯的公理要求正确的信息被正确的接受者收到.共享变量公理则给出有关共享变量的性质判断.例子用于说明异步顺序O表达式的性质是如何分析的.; 国家自然科学基金; 国家高技术研究发展计划(863计划); the National Research Foundation for Doctoral Program of Higher Education of China; 中国科学引文数据库(CSCD); 0; 2; 144-153; 3
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/238549]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	袁崇义,黄雨,赵文. 程序:物理对象上的操作表达式, Program: Expressions of Operations on Physical Objects[J]. 计算机科学与探索,2009.
APA	袁崇义,黄雨,&赵文.(2009).程序:物理对象上的操作表达式.计算机科学与探索.
MLA	袁崇义,et al."程序:物理对象上的操作表达式".计算机科学与探索 (2009).