基于Monad的非确定性里程网描述方法 |
| |
引用本文: | 袁华强,孙永强.基于Monad的非确定性里程网描述方法[J].湘潭大学自然科学学报,1997,19(3):121-125. |
| |
作者姓名: | 袁华强 孙永强 |
| |
作者单位: | [1]湘潭大学计算机科学系 [2]上海交通大学计算机科学工程系 |
| |
摘 要: | 非确定性进程网是纯函数数式操作系统中的一个重要问题,但是纯函数式语言缺乏处理非确定性的功能,本文给出了一个非确定性Monad用此Monad在纯函数式语言中描述了非稳定性进程网。
|
关 键 词: | 非确定性 Monad 程序设计 进程网 操作系统 |
本文献已被 维普 等数据库收录! |
|