Open AccessDeclarative Specialization for Object-Oriented-Program Specialization
Author(s) -
Helle Markmann Andersen,
Ulrik Pagh Schultz
Publication year - 2004
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v33i569.7126
Subject(s) - java , context (archaeology) , programming language , computer science , programming style , biology , paleontology
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.