首页> 中文期刊> 《软件学报》 >基于活跃变量分析的流图语言的部分求值器

基于活跃变量分析的流图语言的部分求值器

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文描述了流图语言的自应用型静态部分求值器，它由活跃变量分析、抽象分析、标记和经４部分组成，在活跃变量分析基础上再作抽象分析，比以往的抽象获得的抽象解释更精确，了更利于产生较高质量的剩余程序，转移压缩在例化中直接进行。

著录项

来源
《软件学报》 |1997年第1期|29-35|共7页
作者
陆卫东; 金成植;
展开▼
作者单位

吉林大学计算机科学系;

吉林大学计算机科学系;

展开▼
原文格式 PDF
正文语种 CHI
中图分类软件工程;
关键词
活跃变量分析; 部分求值; 流图语言; 软件工程;

相似文献

中文文献
外文文献
专利

1. peC语言的部分求值器及在编译器测试中的应用 [J] . 郭德贵 ,王冠成 ,吕帅 . 软件学报 . 2017,第005期
2. 实现函数式语言部分求值器的约束时间分析 [J] . 吴晶 ,廖湖声 . 计算机工程与科学 . 1997,第001期
3. LISP语言的增量式部分求值器 [J] . 李航 ,宋立彤 . 软件学报 . 1996,第008期
4. 高阶函数式语言的部分求值器 [J] . 陆卫东 ,金成植 . 软件学报 . 1996,第010期
5. 基于信息流分析的部分求值技术 [J] . 刘磊 ,郑红军 . 软件学报 . 1995,第008期
6. 一个自应用型的函数式语言部分求值器FMIX [C] . 宋立彤 . 第六届全国青年计算机工作者会议 . 1996
7. XQuery语言的部分求值技术 [A] . 苏航 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号