Back to results
University of Illinois at Urbana-Champaign
Controlling Partial Evaluators Using Functional Parameters
Abstract
dc:descriptionFor 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.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2003
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Beckman, A. Mattox, Jr
- Contributors dc:contributor
-
- Sam Kamin
Subjects
dc:subject × 1Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- (MiAaPQ)AAI3111522
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/81633