公理语义

作品数：9被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：袁崇义刘小平魏振春韩江洪陆阳更多>>
相关机构：大连理工大学南京大学北京大学合肥工业大学更多>>
相关期刊：《科技资讯》《计算机工程与应用》《中国科学技术大学学报》《计算机科学与探索》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
赋值:物理对象上的操作(英文)被引量：5
《计算机科学与探索》2008年第5期487-499,共13页袁崇义 
the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312004,2002CB312006;the National High-Tech Research and Development Plan of China under Grant No.2006AA04A119,2006AA01Z160~~
研究了命令式程序的形式语义。赋值被看成当作物理对象的变量上的操作。变量x一方面是个可以容纳数据值的物理对象,另一方面当它出现在数学表达式中时又代表它所容纳的值。作为物理对象,变量x允许它的值用读/写操作来观察或改变,读操作...
关键词：赋值 命令式程序 物理对象 物理对象上的操作 操作公理 公理语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部