%0 Journal Article
%T 命令的指称语义在谓词域上的一种表示
%A 丁志义
%A 李全德
%A 宋国新
%A 邵志清
%J 计算机科学
%D 2008
%I 
%X 文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的.
%K 谓词转换器
%K 状态转换器
%K 指称语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=69A49F43334B8FF12DCC169B9BC14FB2&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=DF92D298D3FF1E6E&sid=0B4F496D54044D86&eid=1B97AE5098AEB49C&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8