| 摘要: |
| 本文描述了流图语言的自应用型静态部分求值器，它由活跃变量分析、抽象分析、标记和例化４部分组成．在活跃变量分析基础上再作抽象分析，比以往的抽象分析获得的抽象解释更精确，也更利于产生较高质量的剩余程序．转移压缩在例化中直接进行. |
| 关键词: 活跃变量分析 抽象分析 部分求值 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| A PARTIAL EVALUATOR FOR FLOW CHART LANGUAGEBASED ON THE LIVENESS ANALYSIS |
|
LU Weidong,JIN Chengzhi
|
| 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· |
| Key words: Liveness binding time partial evaluator |
