期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
LISP语言的增量式部分求值器
被引量：
2
1
作者
李航
宋立彤
金成植
《软件学报》
EI
CSCD
北大核心
1996年第8期492-498,共7页
部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地...
部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地提高了效率．
展开更多
关键词
LISP语言
部分求值器
增量式计算
程序语言
在线阅读
下载PDF
职称材料
高阶函数式语言的部分求值器
2
作者
陆卫东
金成植
《软件学报》
EI
CSCD
北大核心
1996年第10期634-640,共7页
本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量．文中给出了ＣＬＯ－ＳＵＲＥ分析、抽象分析。
关键词
部分
求值
抽象分析
高阶函数式语言
部分求值器
在线阅读
下载PDF
职称材料
题名
LISP语言的增量式部分求值器
被引量：
2
1
作者
李航
宋立彤
金成植
机构
吉林大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1996年第8期492-498,共7页
文摘
部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地提高了效率．
关键词
LISP语言
部分求值器
增量式计算
程序语言
Keywords
Partial evaluation
function specialization
residual program
actual parameter mode
incremental computation.
分类号
TP312LI [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
高阶函数式语言的部分求值器
2
作者
陆卫东
金成植
机构
吉林大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1996年第10期634-640,共7页
文摘
本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量．文中给出了ＣＬＯ－ＳＵＲＥ分析、抽象分析。
关键词
部分
求值
抽象分析
高阶函数式语言
部分求值器
Keywords
Partial evaluator, high order function, abstract analysis.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
LISP语言的增量式部分求值器
李航
宋立彤
金成植
《软件学报》
EI
CSCD
北大核心
1996
2
在线阅读
下载PDF
职称材料
2
高阶函数式语言的部分求值器
陆卫东
金成植
《软件学报》
EI
CSCD
北大核心
1996
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
