期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Monad的纯函数式语言通道系统设计 被引量：2

The Design of File System in the Pure Functional I/O Based on Monads
在线阅读 下载PDF
导出
摘要 本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。 This paper discusses the definition of a complete functional I/O file system based on the state transformer. Using a nondeterministic Monad, we construct the process networks of operating systems. And the semantics of channel system have been given for using-
作者 袁华强 孙永强
机构地区 东莞理工学院计算机科学与技术系软件研究所 上海交通大学计算机科学与工程系
出处 《计算机科学》 CSCD 北大核心 2004年第3期167-169,共3页 Computer Science
关键词 纯函数式语言 通道系统 设计 文件系统 MONAD 操作系统 进程 Pure function language,Monad
分类号 TP312 [自动化与计算机技术—计算机软件与理论] TP316 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献7

二级参考文献6

共引文献8

同被引文献18

  • 1庞建民,赵荣彩,王怀民.Haskell语言的高阶特性及其应用[J].计算机科学,2005,32(6):167-168. 被引量：8
  • 2庞建民,赵荣彩,王倩.Haskell语言的惰性计算特性及其应用[J].计算机工程与应用,2006,42(10):97-99. 被引量：4
  • 3张迎周,张卫丰.Haskell:一种现代纯函数式语言[J].南京邮电大学学报（自然科学版）,2007,27(4):13-18. 被引量：7
  • 4Moggi E. Notions of Computation and Monads [J]. Inf. Comp. , 1991,93(1) : 55-92.
  • 5Meijer E, Fokkinga M, Paterson R. Functional Programming with Bananas [C] // Envelopes L,Wire B, Hughes J, eds. Func- tional Programming Languages and Computer Architecture, number 523 in Lect. Notes Comp. Sci. Berlin.. Springer, 1991: 215-240.
  • 6Wadler P. Comprehending Monads [J]. Math. Struct. in Comp. Sci. ,1992,2:461-493.
  • 7Wadler P. Monads for Functional Programming[C]//Jeuring J, Meijer E, eds. Advanecd Functional Programming. Springer Lec- ture Notes of Computer Science(925). 1995.
  • 8Kieburtz R B. Codata and Comonads in Haskell [R]. Unpub- lished Manuscript, 1999.
  • 9Lewis J R, Shields M B, Meijer E, et al. Implicit Parameters: Dynamic Scoping with Static Types [C]//Proc. of 27th ACM SIG- PLAN-SIGACT Symp. on Principles of Programming Languages (PoPL'00). ACM Press,2000:108-118.
  • 10Uustalu T,Vene V. Comonadic Notions of Computation[J]. E- lectronic Notes in Theoretical Computer Sdenee, 2008,203 : 263- 284.

引证文献2

二级引证文献1

计算机科学
2004年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部