期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
函数式语言的集合描述方法及其实现算法
下载PDF
职称材料
导出
摘要
本语言介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法,集合的引入改善限函数式程序的表达能力,并且为提高程序效率创造了条件。
作者
宋凯
廖湖声
出处
《软件学报》
EI
CSCD
北大核心
1996年第A00期436-440,共5页
Journal of Software
关键词
函数式语言
程序变换
集合
程序语言
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
廖湖声.
函数式程序的分层λ抽象[J]
.计算机学报,1989,12(12):892-899.
被引量:2
2
施智敏,孙永强.
函数式程序的调试及跟踪[J]
.计算机应用与软件,1991,8(4):18-23.
3
廖湖声,吴晶.
函数式程序的离散式延迟输入输出流[J]
.计算机学报,1995,18(7):554-557.
4
姚春玲,孙永强.
一种基于算法骨架的函数式程序变换技术[J]
.计算机科学,1995,22(2):11-16.
5
李向阳,连小绮.
函数式程序范式在语义web中的应用[J]
.中国科技信息,2006(24):79-79.
被引量:1
6
袁华强,孙永强.
一种基于Z规范的纯函数式程序设计方法[J]
.计算机应用与软件,2008,25(2):117-118.
7
丁志义,宋国新,邵志清.
命令的操作语义在类型系统中的一种表示[J]
.小型微型计算机系统,2006,27(7):1285-1288.
8
廖湖声.
完全参数化函数式抽象机——函数式语言的实现模型[J]
.计算机工程与设计,1992,13(2):45-49.
9
袁华强,孙永强.
基于Monad的纯函数式程序设计[J]
.软件学报,1996,7(11):683-690.
10
Qian, Zhenyu, Besma, Abd Moulah.
结合面向对象和函数式语言的概念(英文)[J]
.软件学报,2000,11(1):8-22.
软件学报
1996年 第A00期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部