赋值:物理对象上的操作

摘要：

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

关键词：赋值、命令式程序、物理对象、物理对象上的操作、操作公理、公理语义

所属期刊栏目：2

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2002CB312004;2002CB312006;国家高技术研究发展计划863计划2006AA04A119;2006AA012160

在线出版日期：2008-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：487-499