基于Monad的纯函数式语言文件系统设计

作     者：袁华强 孙永强 石跃祥 

作者机构：东莞理工学院计算机科学与技术系广东东莞523106 上海交通大学计算机科学与工程系上海200030 湘潭大学信息工程学院湖南湘潭411105 

出 版 物：《东莞理工学院学报》 (Journal of Dongguan University of Technology)

年 卷 期：2004年第11卷第1期

页      码：12-18页

摘      要：本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了文件系统的语义。

主 题 词：Monad 纯函数式语言 文件系统 系统设计 状态转换嚣 操作系统 

学科分类：081203[081203] 08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1009-0312.2004.01.003

馆 藏 号：203709565...