|
|||||
|
|
| 纯函数式I/O的操作语义 | |
| 作者姓名： | 袁华强 孙永强 |
| 作者单位： | 湘潭大学计算机科学系,湘潭,411105;上海交通大学计算机科学与工程系,上海,200030 |
| 摘 要： | 目前被人们广泛采用的处理函数式Ｉ／Ｏ的机制有三种,ＭｏｎａｄＤｉａｌｏｇｕｅ,ＣＰＳ,本文采用ＣＣＳ的理论和方法,把互模拟等价作为Ｉ／Ｏ程序的相等关系,描述了这三种Ｉ／Ｏ机制的操作语义,推导出这三种Ｉ／Ｏ机制相互之间的转换关系,从而证明了这三种Ｉ／Ｏ机制在语义上是等价的。 |
| 关 键 词： | 函数式程序设计 I/O 操作语义 |
| 修稿时间： | 1997-06-23 |
| 本文献已被 维普 万方数据 等数据库收录！ | |