From Interpreting to Compiling Binding Times

The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is static or dynamic, given a static/dynamic division of the input. Source programs are specialized with respect to the static part of their input. When a source expression depends on the concrete result of specializing another expression, the binding time of this other expression is first interpreted. A safe approximation abstract values is computed by binding time analysis. This paper points out that this value-based information can be compiled into control-based directives driving the specializer as to what to do for each expression

• Type: Conference
• Year: 1990
• Where: ESOP
• Authors: Charles Consel, Olivier Danvy
• Keywords: Binding Times, ESOP 1990, Programming Languages, Source Expressions, Source Programs