纯函数式语言

作品数：13被引量：15H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：袁华强孙永强石跃祥张卫丰张迎周更多>>
相关机构：上海交通大学东莞理工学院湘潭大学南京邮电大学更多>>
相关期刊：《计算机工程与应用》《计算机学报》《计算机应用与软件》《程序员》更多>>
相关基金：江苏省高校自然科学研究项目湖南省教育厅科研基金更多>>
-
在结果中检索

检索结果分析

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