Annotation-Directed Run-Time Specialization in C

  title={Annotation-Directed Run-Time Specialization in C},
  author={Brian Grant and Markus Mock and Matthai Philipose and Craig Chambers and Susan J. Eggers},
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a binding time analysis computes the set of run-time constants at each program point in each annotated procedure's control flow graph; the analysis supports program-point-specific polyvariant division and specialization. The analysis results guide the construction of a specialized run-time specializer for each dynamically… CONTINUE READING
Highly Cited
This paper has 89 citations. REVIEW CITATIONS

2 Figures & Tables



Citations per Year

90 Citations

Semantic Scholar estimates that this publication has 90 citations based on the available data.

See our FAQ for additional information.