| 基于Monad的纯函数式语言通道系统设计 |
| |
| 引用本文： | 袁华强,孙永强.基于Monad的纯函数式语言通道系统设计[J].计算机科学,2004,31(3):167-169. |
| |
| 作者姓名： | 袁华强 孙永强 |
| |
| 作者单位： | 1. 东莞理工学院计算机科学与技术系,软件研究所,东莞,523106
2. 上海交通大学计算机科学与工程系,上海,200030 |
| |
| 摘 要： | 本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程同，从而给出了通道系统的语义。
|
| 关 键 词： | 纯函数式语言 通道系统 设计 文件系统 Monad 操作系统 进程 |
The Design of File System in the Pure Functional I/O Based on Monads |
| |
| YUAN Hua-Qiang SUN Yong-Qiang.The Design of File System in the Pure Functional I/O Based on Monads[J].Computer Science,2004,31(3):167-169. |
| |
| Authors: | YUAN Hua-Qiang SUN Yong-Qiang |
| |
| Abstract: | This paper discusses the definition of a complete functional I/O file system based on the state transformer. Using a nondeterministic Monad, we construct the process networks of operating systems. And the semantics of channel system have been given for using- |
| |
| Keywords: | Pure function language Monad |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
