Systematic design of program transformation frameworks by abstract interpretation

被引:43
|
作者
Cousot, P
Cousot, R
机构
[1] Ecole Normale Super, Dept Informat, F-75230 Paris 05, France
[2] Ecole Polytech, Lab Informat, F-91128 Palaiseau, France
关键词
D O I
10.1145/565816.503290
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We introduce a general uniform language-independent framework fur designing online and offline source-to-source program transformations by abstract interpretation of program semantics. Iterative source-to-source program transformations are designed constructively by composition of source-to-semantics, semantics-to-transformed semantics and semantics-to-source abstractions applied to fixpoint trace semantics. The correctness of the transformations is expressed through observational and performance abstractions. The framework is illustrated on three examples: constant propagation, program specialization by online and offline partial evaluation and static program monitoring.
引用
收藏
页码:178 / 190
页数:13
相关论文
共 50 条