###
DOI:
Journal of Software:1997.8(1):29-35

基于活跃变量分析的流图语言的部分求值器
陆卫东,金成植
(吉林大学计算机科学系,长春,130061)
A PARTIAL EVALUATOR FOR FLOW CHART LANGUAGEBASED ON THE LIVENESS ANALYSIS
LU Weidong,JIN Chengzhi
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2492   Download 2873
    Revised:January 08, 1996
> 中文摘要: 本文描述了流图语言的自应用型静态部分求值器,它由活跃变量分析、抽象分析、标记和例化4部分组成.在活跃变量分析基础上再作抽象分析,比以往的抽象分析获得的抽象解释更精确,也更利于产生较高质量的剩余程序.转移压缩在例化中直接进行.
Abstract:This paper describes a partial evaluator for the flow chart language which is based on the liveness analysis.This partial evaluator consists of liveness analysis,binding time analysis.annotation and specialization.With the liveness informations,the binding time analysis can get the abstract interpretation to variables much more precisely than USU- al.So the quality of the residual program produced by the specialization is improved. Jones N D eds., Partial Evaluation and Mixed Computation,Amsterdam:North-Holland, 1988·22b~282·
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

陆卫东,金成植.基于活跃变量分析的流图语言的部分求值器.软件学报,1997,8(1):29-35

LU Weidong,JIN Chengzhi.A PARTIAL EVALUATOR FOR FLOW CHART LANGUAGEBASED ON THE LIVENESS ANALYSIS.Journal of Software,1997,8(1):29-35