首页 | 本学科首页   官方微博 | 高级检索  
     检索      

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

关 键 词:非确定性  Monad  程序设计  进程网  操作系统
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号