| 基于Monad的非确定性进程网描述方法 |
| |
| 引用本文： | 袁华强,孙永强.基于Monad的非确定性进程网描述方法[J].湘潭大学自然科学学报,1997(3). |
| |
| 作者姓名： | 袁华强 孙永强 |
| |
| 作者单位： | 湘潭大学计算机科学系!湘潭，411105(袁华强)，上海交通大学计算机科学与工程系!上海，200030(孙永强) |
| |
| 摘 要： | 非确定性进程网是纯函数式操作系统中的一个重要的问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Monad，用此Monad在纯函数式语言中描述了非确定性进程网．
|
| 关 键 词： | 非确定性 Monad 纯函数式程序设计 进程网 |
A DESCRIPTION METHOD OF NON-DETERMINISTIC PROCESS NETWORKS BASED ON MONADS |
| |
| Yuan Huaqiang.A DESCRIPTION METHOD OF NON-DETERMINISTIC PROCESS NETWORKS BASED ON MONADS[J].Natural Science Journal of Xiangtan University,1997(3). |
| |
| Authors: | Yuan Huaqiang |
| |
| Abstract: | The non-deterministic process network is an important problem in pure functional operating systems. It is difficult for pure functional languages to express non-deterministic progeams. In this paper we introduce a non-determinstic process networks and be described within functional languages by the monad. |
| |
| Keywords: | non-determinsm monad pure functional programming processnetwork |
| 本文献已被 CNKI 等数据库收录！ |
