纯函数式I/O的操作语义  

THE OPERATIONAL SEMANTICS OF PURE FUNCTIONAL I/O

作　　者：袁华强[1] 孙永强[2] 

机构地区：[1]湘潭大学计算机科学系,湘潭411105 [2]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机学报》1998年第11期1009-1014,共6页Chinese Journal of Computers

摘　　要：目前被人们广泛采用的处理函数式I／O的机制有三种：Monad，Dialogue，CPS．本文采用CCS的理论和方法，把互模拟等价作为I／O程序的相等关系，描述了这三种I／O机制的操作语义，推导出这三种I／O机制相互之间的转换关系，从而证明了这三种I／O机制在语义上是等价的．The authors investigate three widely implemented I/O mechanisms in functional languages: Monad, Dialogue and CPS I/O in this paper. Using methods from Mimer' CCS, operational semantics of the three mechanisms are given. This paper adopts bisimulation equivalence as equality on the three kinds of I/O. The main result is semantics equivalence of the three mechanisms, generalizing an inform argument of Peyton Jones & Wadier's.

关 键 词：函数式程序设计 I/O 操作语义 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]