| 纯函数式I/O的操作语义 |
| |
| 引用本文： | 袁华强,孙永强.纯函数式I/O的操作语义[J].计算机学报,1998,21(11):1009-1014. |
| |
| 作者姓名： | 袁华强 孙永强 |
| |
| 作者单位： | 1. 湘潭大学计算机科学系,湘潭,411105
2. 上海交通大学计算机科学与工程系,上海,200030 |
| |
| 摘 要： | 目前被人们广泛采用的处理函数式Ｉ／Ｏ的机制有三种，ＭｏｎａｄＤｉａｌｏｇｕｅ，ＣＰＳ，本文采用ＣＣＳ的理论和方法，把互模拟等价作为Ｉ／Ｏ程序的相等关系，描述了这三种Ｉ／Ｏ机制的操作语义，推导出这三种Ｉ／Ｏ机制相互之间的转换关系，从而证明了这三种Ｉ／Ｏ机制在语义上是等价的。
|
| 关 键 词： | 函数式程序设计 I／O 操作语义 |
| 修稿时间： | 1997年6月23日 |
THE OPERATIONAL SEMANTICS OF PURE FUNCTIONAL I/O |
| |
| YUAN Hua-Qiang,SUN Yong-qiang.THE OPERATIONAL SEMANTICS OF PURE FUNCTIONAL I/O[J].Chinese Journal of Computers,1998,21(11):1009-1014. |
| |
| Authors: | YUAN Hua-Qiang SUN Yong-qiang |
| |
| Abstract: | |
| |
| Keywords: | Functional programming I/O operational semantic |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
