Sciweavers

PEPM
2004
ACM

Declarative specialization for object-oriented-program specialization

13 years 9 months ago
Declarative specialization for object-oriented-program specialization
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process. We have developed a simple, declarative language for controlling the specialization of Java programs, and interfaced this language with the JSpec partial evaluator for Java. This language, named Pesto, allows declarative specialization of programs written in an object-oriented style of programming. The Pesto compiler automatically generates the context information needed for specializing Java programs, and automatically generates guards that enable the specialized code in the right context. Categories and Subject Descriptors D.3.4 [Software]: PROGRAMMING LANGUAGES—Processors General Terms Design, Languages Keywords Partial evaluation, declarative specialization, Java
Helle Markmann Andersen, Ulrik Pagh Schultz
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where PEPM
Authors Helle Markmann Andersen, Ulrik Pagh Schultz
Comments (0)