Towards Bridging the Gap Between Programming Languages and Partial Evaluation

Abstract : Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants. Despite successful applications in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the difficulty of adequately describing specialization opportunities. Indeed, under-specialization or over-specialization often occurs, without any direct feedback to the user as to the source of the problem. We have developed a high-level, module-based language allowing the programmer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the syntax of this language is similar to the declaration syntax of the target language of the partial evaluator. To provide feedback to the programmer, declarations are checked throughout the analyses performed by partial evaluation. The language has been successfully used by a signal-processing expert in the design of a specializable Forward Error Correction component.
Type de document :
Communication dans un congrès
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Jan 2002, Portland, OR, United States. ACM Press, pp.9--18, 2002
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00476047
Contributeur : Sylvie Embolla <>
Soumis le : vendredi 23 avril 2010 - 15:19:06
Dernière modification le : mercredi 29 novembre 2017 - 15:14:35
Document(s) archivé(s) le : mardi 28 septembre 2010 - 13:23:23

Fichier

lemeur-pepm02.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00476047, version 1

Collections

Citation

A.-F. Le Meur, J.L. Lawall, Charles Consel. Towards Bridging the Gap Between Programming Languages and Partial Evaluation. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Jan 2002, Portland, OR, United States. ACM Press, pp.9--18, 2002. 〈inria-00476047〉

Partager

Métriques

Consultations de la notice

122

Téléchargements de fichiers

128