| 基于程序流程图的数据例化与程序例化 |
| |
| 引用本文： | 廖湖声. 基于程序流程图的数据例化与程序例化[J]. 计算机学报, 2001, 24(9): 985-990 |
| |
| 作者姓名： | 廖湖声 |
| |
| 作者单位： | 北京工业大学计算机学院, |
| |
| 基金项目： | 北京市自然科学基金 ( 4 982 0 0 2 )资助 |
| |
| 摘 要： | 提出了一基于程序流程图的部分求值方法，通过采用基于程序流程图的数据例化和面向程序基本块的程序例化，能够在例化阶段进行程序基本块例化的同时，完成控制转移的优化，并生成既可用于编译时刻例化，又可用于运行时刻例化的滞留程序，基于这种方式的部分求值系统采用离线工作方式，利用了绑定时间分析，提高了滞留程序的效率，同时避免了例化阶段的代码复制与拼接，有效地简化了运行时刻例化系统的实现难度。
|
| 关 键 词： | 数据例化 程序流程图 程序例化 软件自动化 |
| 修稿时间： | 2000-07-26 |
Data Specialization and Program Specialization Based on Control Flow Graph |
| |
| LIAO Hu-Sheng. Data Specialization and Program Specialization Based on Control Flow Graph[J]. Chinese Journal of Computers, 2001, 24(9): 985-990 |
| |
| Authors: | LIAO Hu-Sheng |
| |
| Abstract: | |
| |
| Keywords: | data specialization partial evaluation control flow graph offline specialization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
