文中讨论了谓词转换器和状态转换器之间的对应关系，将谓词转换器作为命令的指称，刻画了IMP语言命令的指称语义，并证明与状态转换器形......

针对Ｐｅｙｔｏｎ Ｊｏｎｅｓ ＆ Ｗａｄｌｅｒ在ＩＯ Ｍｏｎａｄ设计的一个基于状态转换的函数Ｉ／Ｏ系统中，存在着某状态没有显式地反应在ＩＯ类型中，为了克服诸于此类问题，定义了状态转换器及......