论文部分内容阅读
状态、输入和输出是Z规范的基础，引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内，提出一种基于Z规范的纯函数式程序设计方法。
一种基于Z规范的纯函数式程序设计方法
【摘 要】
：
状态、输入和输出是Z规范的基础，引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内，提出一种基于Z规范的纯函数式程序设
【机 构】
：
东莞理工学院软件研究所,上海交通大学计算机科学与工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年2期
其他文献
针对基本蝙蝠算法存在寻优精度不高，后期收敛速度较慢和易陷入局部最优等问题，提出一种基于序贯二次规划（Sequential Quadratic Programming，SQP）的蝙蝠优化算法。该算法应用佳点
本文研究了广义延拓矩阵的性质,利用分块矩阵理论获得了许多新的结果,给出了广义延拓矩阵的满秩分解、秩分解和广义逆的公式及快速算法.它们可极大地减少广义延拓矩阵的满秩
在多届＂中国多民族文学论坛＂上,中国多民族文学史观问题已经得到了较为充分的讨论。多家民族文学研究期刊也发表了大量的学术文章。似乎已经穷尽了所有相关话题。其实还远远不
双重职业生涯路径机制是人力资源管理中一个很重要的职业生涯规划方式和激励机制，本文首先指出了双重职业路径是解决专业技术人员“事业困境”的需要，然后对双重职业路径在实际
重庆地理环境奇特，交通文化丰富，旅游资源禀赋高，具有非常好的交通旅游发展前景。重庆的交通旅游发展策略应强调大力发展游轮产业，合理开发都市特种交通，因地制宜打造都市滨江路，合
由于朝鲜诗话的说话人具有朝鲜文化的背景和说话语境,因此,朝鲜诗话中的说话人既是说话人,又是转述者;既是朝鲜汉文学的权威者,又是中原汉文化的学习者;朝鲜诗话中的接受者既
在鄂西山区长阳县土家人的丧葬仪式上,总会跳起集歌、乐、舞三位一体的民间舞蹈——撒叶儿嗬。它是土家丧葬礼仪中十分重要的一部分。在现代文化和观念的影响下,撒叶儿嗬面临
本文对体育场馆冠名权的概念、美国体育场馆开发冠名权的现状进行介绍。进而对我国奥运场馆冠名权蕴藏着的商业价值进行分析，认为场馆冠名权将成为我国奥运场馆赛后利用和运营
财务成本与机会成本区别浅探文／陈献东在现代社会中，成本的形式是多元的。机会成本正日益受到企业管理当局的重视，并被广泛地应用到经济管理的各个方面，特别是在投资决策中，机会成