Constraint-based partial evaluation for imperative languages

被引：0
作者：
Ying Jin
Chengzhi Jin
机构：
[1] Jilin University,College of Computer Science and Technology
来源：
Journal of Computer Science and Technology | 2002年 / 17卷
关键词：
partial evaluation; constraint solving; imperative language; residual program;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Constraint-based partial evaluation (CBPE) is a program optimization technique based on partial evaluation (PE) and constraint solving. Conventional PE only utilizes given parameter values to specialize programs. However, CBPE makes use of not only given values but also the following information: (a) the relationship between input parameters and program variables; (b) logical structure of a program to be evaluated. In this paper, a formal description of CBPE method for imperative languages is presented, and some related problems are discussed.
引用
收藏
页码：64 / 72
页数：8
相关论文
共 14 条
  • [1] Jones N D(1989)Self-applicable partial evaluator for experiments in compiler generation Journal of LISP and Symbolic Computation 1 9-50
  • [2] Sestoft P S(1995)Fortran program specialization SIGPLAN Notices 30 61-70
  • [3] Kleinrubatscher P(1991)Software specialization via symbol execution IEEE Transactions on Software Engineering 17 884-899
  • [4] Kriegshaber A(1986)The concept of supercompiler ACM Transaction on Programming Languages and Systems 8 292-325
  • [5] Zöchling R(2000)An efficient method of unfolding loop for partial computation of imperative languages Computer Research and Development 37 102-108
  • [6] Glück R(undefined)undefined undefined undefined undefined-undefined
  • [7] Coen-Porisini Alberto(undefined)undefined undefined undefined undefined-undefined
  • [8] De Paoli Flavio(undefined)undefined undefined undefined undefined-undefined
  • [9] Ghezzi Carlo(undefined)undefined undefined undefined undefined-undefined
  • [10] Mandrioli Dino(undefined)undefined undefined undefined undefined-undefined
12