Z规范

作品数：11被引量：13H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：赵正旭张常有刘立嘉张乃孝李景峰更多>>
相关机构：石家庄铁道大学山东大学北京大学西安电子科技大学更多>>
相关期刊：《计算机技术与发展》《地球物理学报》《湖州师范学院学报》《西安电子科技大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划河北省自然科学基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用与软件x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于Z规范的纯函数式程序设计方法
《计算机应用与软件》2008年第2期117-118,共2页袁华强 孙永强 
状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法。
关键词：纯函数式语言 Z规范 MONAD 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部