Abstract
Program and data specialization have always been studied separately, although they are both aimed at processing early computations. Program specialization encodes the result of early computations into a new program; while data specialization encodes the result of early computations into data structures. In this paper, we present an extension of the Tempo specializer, which performs both program and data specialization. We show how these two strategies can be integrated in a single specializer. This new kind of specializer provides the programmer with complementary strategies which widen the scope of specialization. We illustrate the benefits and limitations of these strategies and their combination on a variety of programs.
| Original language | English |
|---|---|
| Pages (from-to) | 309-335 |
| Number of pages | 27 |
| Journal | Higher-Order and Symbolic Computation |
| Volume | 12 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - 1 Dec 1999 |
| Externally published | Yes |
| Event | Proceedings of the 1999 ACM SIGPLAN Workshop on 'Partial Evaluation and Semantics-Based Program Manipulation' (PEPM '99) - Antonio, TX, USA Duration: 22 Jan 1999 → 23 Jan 1999 |
Fingerprint
Dive into the research topics of 'Combining program and data specialization'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver