Abstract: This paper describes an action analysis in partial evaluation for object-oriented languages. By defining a set of partial evaluation primitives, the action analysis transforms a program with binding-time annotations into a sequence of primitives, which indicates the specialization actions. As a result of its separating the processing logic from the implementation strategy of a partial evaluator, the action analysis can provide a common basis for different partial evaluation systems and simplify their structure

Key words: Partial evaluation; Action analysis; Object-oriented

摘要： 提出了一种面向对象程序设计语言的部分求值动作分析方法，利用带有绑定时间标注的源程序生成部分求值动作原语序列，作为各种部分求值实现策略的基础。这种方法使部分求值算法独立于具体的实现方法，从而降低了部分求值系统的实现难度。

关键词: 部分求值；动作分析；面向对象