Declarative Specialization for Object-Oriented-Program Specialization
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.
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.