赋值:物理对象上的操作

• 作者: 袁崇义
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 赋值 命令式程序 物理对象 物理对象上的操作 操作公理 公理语义
• 年，卷（期）: 2008,（5）
• 所属期刊栏目: 学术研究
• 页码范围: 487-499
• 页数: 13页
• 分类号: TP311
• 字数: 3563字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2008.05.004

摘要

研究了命令式程序的形式语义.赋值被看成当作物理对象的变量上的操作.变量x一方面是个可以容纳数据值的物理对象,另一方面当它出现在数学表达式中时又代表它所容纳的值.作为物理对象,变量x允许它的值用读/写操作来观察或改变,读操作则是写操作的逆操作.事实上赋值就是对物理对象施加写操作.提出了与单变量赋值、多重赋值、顺序赋值及条件赋值等相对应的操作,提出了这些操作应服从的公理,并给出了用这些公理证明程序性质的实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁崇义	北京大学信息科学技术学院	17	173	7.0	12.0