Controlling Partial Evaluators Using Functional Parameters

97 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2003.For larger languages, this technique generalizes to the composition of many small functions, each of which handles a certain aspect or implements a specific heuristic of partial evaluation. A new behavior can be implemented by means of a strategy, and added to the partial evaluator by composing it with the rest of the strategies being used. Behaviors shown include off-line partial evaluation, bounded static variation, reading of termination annotations, and type directed partial evaluation.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD