| 基于Monad的纯函数式语言文件系统设计 |
| |
| 引用本文： | 袁华强,孙永强,石跃祥.基于Monad的纯函数式语言文件系统设计[J].东莞理工学院学报,2004,11(1):12-18. |
| |
| 作者姓名： | 袁华强 孙永强 石跃祥 |
| |
| 作者单位： | 东莞理工学院计算机科学与技术系,广东,东莞,523106;上海交通大学计算机科学与工程系,上海,200030;湘潭大学信息工程学院,湖南,湘潭,411105 |
| |
| 摘 要： | 本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了文件系统的语义.
|
| 关 键 词： | 纯函数式语言 Monad 文件系统 |
| 修稿时间： | 2003年3月18日 |
The Design of the Pure Functional I/O File System Based on Monads |
| |
| Yuan Huaqiang,Sun Yongqiang,Shi Yuexiang.The Design of the Pure Functional I/O File System Based on Monads[J].Journal of Dongguan Institute of Technology,2004,11(1):12-18. |
| |
| Authors: | Yuan Huaqiang Sun Yongqiang Shi Yuexiang |
| |
| Institution: | Dongguan University of Technology;Shanghai Jiaotong University; Information Engineering College of Xiangtan University |
| |
| Abstract: | This paper discusses the definition of a complete functional I/O file system based on the stale transformer. Using a nondeterministic monad, we describe the process networks of the operating system, giving the semantics of the file system. |
| |
| Keywords: | Monad |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
