-
题名基于程序流程图的数据例化与程序例化
被引量：8
- 1
-
-
作者
廖湖声
-
机构
北京工业大学计算机学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2001年第9期985-990,共6页
-
基金
北京市自然科学基金 ( 4 982 0 0 2 )资助
-
文摘
提出了一种基于程序流程图的部分求值方法 ,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化 ,能够在例化阶段进行程序基本块例化的同时 ,完成控制转移的优化 ,并生成既可用于编译时刻例化 ,又可用于运行时刻例化的滞留程序 ;基于这种方式的部分求值系统采用离线工作方式 ,利用了绑定时间分析 ,提高了滞留程序的效率 ;同时避免了例化阶段的代码复制与拼接 ,有效地简化了运行时刻例化系统的实现难度 .
-
关键词
数据例化
程序流程图
程序例化
软件自动化
-
Keywords
data specialization, partial evaluation, control flow graph, offline specialization
-
分类号
TP311.51
[自动化与计算机技术—计算机软件与理论]
-
