Declarative Specialization for Object-Oriented-Program Specialization

Authors

  • Helle Markmann Andersen
  • Ulrik Pagh Schultz

DOI:

https://doi.org/10.7146/dpb.v33i569.7126

Abstract

The use of partial evaluation for specializing programs written in im-

perative languages such as C and Java is hampered by the di-culty of

controlling the specialization process. We have developed a simple, declar-

ative language for controlling the specialization of Java programs, and in-

terfaced this language with the JSpec partial evaluator for Java. This lan-

guage, named Pesto, allows declarative specialization of programs written

in an object-oriented style of programming. The Pesto compiler auto-

matically generates the context information needed for specializing Java

programs, and automatically generates guards that enable the specialized

code in the right context.

Downloads

Published

2004-05-01

How to Cite

Andersen, H. M., & Schultz, U. P. (2004). Declarative Specialization for Object-Oriented-Program Specialization. DAIMI Report Series, 33(569). https://doi.org/10.7146/dpb.v33i569.7126