• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"机构=东莞理工学院计算机科学与技术系软件研究所"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
基于Monad的纯函数式语言通道系统设计
收藏
分享
引用
《计算机科学》2004年 第3期31卷 167-169页
作者：袁华强 孙永强东莞理工学院计算机科学与技术系软件研究所东莞523106 上海交通大学计算机科学与工程系上海200030 
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部