论文部分内容阅读
本文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言文件系统操作,给出了文件系统操作的操作语义.
一种基于组合Monad的纯函数式文件系统操作
【摘 要】
：
本文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言文件系统操作,给出了文件系统操作的操作语义.
【机 构】
：
东莞理工学院计算机科学与技术系(东莞)
【出 处】
：
2003'全国软件与应用学术会议
【发表日期】
：
2003年期
其他文献
软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全
基于Tableau方法的z规格说明求精以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从证明中可抽取出一个满足该程序规格说明的
本文介绍的系统实现的数据挖掘的可视化基于一个开放式数据挖掘系统—TETRIS,该系统完成服务整合的数据挖掘任务,作为一个完整的数据挖掘系统,可视化部分成为这个系统图形化
随着我国社会形势的高速发展,政府所面临的政治事务也逐渐繁杂.新形势下的挑战及要求也必定会淘汰政府传统以往的政策方向与治理水平,因此在这样的实际情况下,则需要积极推进
信息时代的变迁和网络技术的发展让人们的生活发生了巨大的变化,同时对社会整体的发展也产生了不同的影响,计算机网络技术的应用在人们生活中提供快捷和方便的同时,也在威胁
本文介绍了程序理解的相关概念,讨论了程序理解所面对的问题及其原因,然后介绍了能够解决这些问题的新的编程方法—文字编程;给出了一个简短的文字程序示例来展示文字编程方
完备充分的课前准备,即教师的课前准备和学生的课前准备,简称“两个准备”,是上好课的前提.在课前、课中、课后三个环节中,课前准备是非常重要且关键的环节.强化课前准备,无
期刊
基于新时代背景下,为使广播媒体行业创新发展,最主要的核心工作就是对广播发射台智能监控系统设计,一方面,时刻监测广播发射台运行情况,搜集、记录、共享等相关信息数据,为广
一等奖 （1篇） 相裕亭《看座》 二等奖 （4篇） 陈 敏《“老鼠搬家”》 三 石《白菜石》 郑俊甫《太史简》 李德霞《深秋》 三等奖 （18篇） 季 明《我知道你是谁》 赵 新《问候》 叶征球《蒲公英》 申 平《寻找战马墓》 谢志强《抓阄》 朱雅娟《马蹄铁》 王 鼎《娘根》 刘立勤《法医李炎》 崔 立《父亲敬的酒》 张洪貴《风清月正高》 许心龙《父亲的麦粒》
期刊
电子信息技术深入人们的生活,在现代化信息技术高速发展的今天,计算机网络为人们带来很多便利,提高人们的生活质量.在电子信息工程中,如何应用计算机网络技术是新时代面临的