论文部分内容阅读
本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程网，从而给出了文件系统的语义。
基于Monad的纯函数式语言文件系统设计
【摘 要】
：
本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程网，从而给出了文件系统的语义。
【机 构】
：
东莞理工学院计算机科学与技术系,上海交通大学计算机科学与工程系,湘潭大学信息工程学院
【出 处】
：
东莞理工学院学报
【发表日期】
：
2004年1期
其他文献
袁洪铭不仅搜集与整理了东莞的民间文学作品,而且还对民间文学的有关问题发表了看法、对搜集整理的有关方法进行了总结.
以我国的交通情况为背景,从可持续发展的观点出发,重新分析了北京市的交通发展现状,同时对于其保持交通可持续发展提出了途径及具体建议,其中重点分析了正处于发展阶段的智能
有机化学实验教学是有机化学教育的重要组成部分，要培养高素质的人才，实验教学改革势在必行．本文结合本校的实际情况就改善实验条件、改革有机化学实验教学方法、优化实验教学内
通过简支板与连续板的比较,阐述先简支后连续结构优点和可操作性.
本文提出碎石弃渣地段隧道的多种进洞处理措施,为类似情况的隧道设计与施工提供重要的借鉴作用.
论述了如何调整沥青混凝土的生产配合比级配.