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

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

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

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