Towards Automatic Specialization of Java Programs

Abstract : Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. This technique has proved useful within the domain of imperative languages, but so far it has not been explored within the domain of object-oriented languages. We present experiments in the specialization of Java programs. We demonstrate how to construct a program specializer for Java programs from an existing specializer for C programs and a Java-to-C compiler. Specialization is managed using a declarative approach that abstracts over the optimization process and masks implementation details. Our experiments show that program specialization provides a four-time- s speedup of an image-filtering program. Based on these experiments, we identify optimizations of object-oriented programs that can be carried out by automatic program specialization. We argue that program specialization is useful in the field of software components, allowing a generic component to be specialized to a specific configuration.
Type de document :
[Research Report] RR-3579, INRIA. 1998
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:52:01
Dernière modification le : mercredi 29 novembre 2017 - 16:24:55
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:34:14



  • HAL Id : inria-00073102, version 1



Ulrik Pagh Schultz, Julia Lawall, Charles Consel, Gilles Muller. Towards Automatic Specialization of Java Programs. [Research Report] RR-3579, INRIA. 1998. 〈inria-00073102〉



Consultations de la notice


Téléchargements de fichiers