期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
IPM——一种增量计算的自动生成模型
被引量:
1
1
作者
廖湖声
《计算机科学》
CSCD
北大核心
1996年第4期61-64,共4页
增量计算在排版系统、编译系统和各种软件工具中有着广泛的应用,而实现一个增量式软件系统往往需要采用复杂的算法设计和艰苦的程序调试.近年来,随着部分求值技术的发展,人们开始研究用于增量计算的通用的程序生成方法,以求从根本上消...
增量计算在排版系统、编译系统和各种软件工具中有着广泛的应用,而实现一个增量式软件系统往往需要采用复杂的算法设计和艰苦的程序调试.近年来,随着部分求值技术的发展,人们开始研究用于增量计算的通用的程序生成方法,以求从根本上消除使用增量计算实现算法的需求。 有关增量计算自动生成的研究工作,大致可分为两类一类以耶鲁大学的Hudak研究组为代表[lJ,力图建立一种完成增量计算的程序执行环境。在这种环境中,应用程序的每次执行将能够利用上次执行的部分计算结果。另一类以康乃尔大学的Teitel-baum研究组为代表。
展开更多
关键词
IPM
增量计算
程序生成法
下载PDF
职称材料
LISP语言的增量式部分求值器
被引量:
2
2
作者
李航
宋立彤
金成植
《软件学报》
EI
CSCD
北大核心
1996年第8期492-498,共7页
部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地...
部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率.
展开更多
关键词
LISP语言
部分求值器
增量式计算
程序语言
下载PDF
职称材料
面向编译器测试的部分求值静态输入确定方法
3
作者
刘磊
瓮杰
郭德贵
《吉林大学学报(工学版)》
EI
CAS
CSCD
北大核心
2020年第1期262-267,共6页
在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行...
在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。
展开更多
关键词
计算机软件
编译器测试
部分求值
静态输入
程序静态分析
原文传递
题名
IPM——一种增量计算的自动生成模型
被引量:
1
1
作者
廖湖声
机构
北京工业大学计算机学院
出处
《计算机科学》
CSCD
北大核心
1996年第4期61-64,共4页
基金
国家自然科学基金
北京市自然科学基金
文摘
增量计算在排版系统、编译系统和各种软件工具中有着广泛的应用,而实现一个增量式软件系统往往需要采用复杂的算法设计和艰苦的程序调试.近年来,随着部分求值技术的发展,人们开始研究用于增量计算的通用的程序生成方法,以求从根本上消除使用增量计算实现算法的需求。 有关增量计算自动生成的研究工作,大致可分为两类一类以耶鲁大学的Hudak研究组为代表[lJ,力图建立一种完成增量计算的程序执行环境。在这种环境中,应用程序的每次执行将能够利用上次执行的部分计算结果。另一类以康乃尔大学的Teitel-baum研究组为代表。
关键词
IPM
增量计算
程序生成法
Keywords
incrementai computation
,
partial evaluation
,
program synthesise.
分类号
TP301.4 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
LISP语言的增量式部分求值器
被引量:
2
2
作者
李航
宋立彤
金成植
机构
吉林大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1996年第8期492-498,共7页
文摘
部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率.
关键词
LISP语言
部分求值器
增量式计算
程序语言
Keywords
partial
evaluation
function specialization
residual
program
actual parameter mode
incremental
computation
.
分类号
TP312LI [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向编译器测试的部分求值静态输入确定方法
3
作者
刘磊
瓮杰
郭德贵
机构
吉林大学计算机科学与技术学院
出处
《吉林大学学报(工学版)》
EI
CAS
CSCD
北大核心
2020年第1期262-267,共6页
基金
国家重点研发计划项目(2017YFB1003103).
文摘
在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。
关键词
计算机软件
编译器测试
部分求值
静态输入
程序静态分析
Keywords
computer software
compiler test
partial
evaluation
static input
program
static analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
原文传递
题名
作者
出处
发文年
被引量
操作
1
IPM——一种增量计算的自动生成模型
廖湖声
《计算机科学》
CSCD
北大核心
1996
1
下载PDF
职称材料
2
LISP语言的增量式部分求值器
李航
宋立彤
金成植
《软件学报》
EI
CSCD
北大核心
1996
2
下载PDF
职称材料
3
面向编译器测试的部分求值静态输入确定方法
刘磊
瓮杰
郭德贵
《吉林大学学报(工学版)》
EI
CAS
CSCD
北大核心
2020
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部