面向对象程序设计语言的部分求值动作分析

摘要

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