-
题名过程式语言的动态部分求值技术
被引量：2
- 1
-
-
作者
刘磊
郑红军
金成植
-
机构
吉林大学计算机科学系
-
出处
《吉林大学自然科学学报》
CAS
CSCD
1995年第3期35-39,共5页
-
文摘
提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。
-
关键词
部分求值
过程式语言
源程序
PASCAL语言
-
Keywords
partial evaluation,procedural language,program specialization,residual program
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名动静态结合的部分求值技术
- 2
-
-
作者
袁琦
张长海
刘磊
张宗来
-
机构
吉林大学计算机科学系
吉林油田股份有限公司试油处
-
出处
《吉林大学自然科学学报》
CAS
CSCD
1999年第4期31-34,共4页
-
基金
吉林省科委基金
-
文摘
提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述．采用该方法，实现一个实验性的部分求值系统．
-
关键词
部分求值
过程式语单
程序优化
软件自动化
-
Keywords
partial evaluation, procedural language, program specialization, residual program
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
-
题名LISP语言的增量式部分求值器
被引量：2
- 3
-
-
作者
李航
宋立彤
金成植
-
机构
吉林大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1996年第8期492-498,共7页
-
文摘
部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地提高了效率．
-
关键词
LISP语言
部分求值器
增量式计算
程序语言
-
Keywords
partial evaluation
function specialization
residual program
actual parameter mode
incremental computation.
-
分类号
TP312LI
[自动化与计算机技术—计算机软件与理论]
-
-
题名函数式语言的部分求值技术
被引量：3
- 4
-
-
作者
宋立彤
金成植
-
机构
吉林大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1996年第5期306-313,共8页
-
文摘
本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．
-
关键词
部分求值
抽象分析
函数式语言
程序语言
-
Keywords
partial evaluation, abstract analysis, function specialization, residual program, eliminable parameter, residual parameters.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
