计算机科学论坛--显示贴子

以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『理论计算机科学』  (http://bbs.xml.org.cn/list.asp?boardid=64)
----  分程序公理语义  (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=44545)

--  作者：anarchist
--  发布时间：3/28/2007 4:26:00 PM

--  分程序公理语义
各位大虾，小弟正在研究《计算机语言的公理语义》看到分程序的公理语义相当费解。具体来说就是怎么用分程序公理刻画一个程序的执行。例如：
Nest1=beging new x;
          proc p; x:=x+1;
                 x:=1;
          Nest2
          end
其中
Nest2 = begin new x;
            Q  end
而         Q=x:=2; call p

不吝赐教谢谢！
PS：QQ:77970608

W 3 C h i n a ( since 2003 ) 旗下站点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》

31.982ms