Towards Bridging the Gap Between Programming Languages and Partial Evaluation - Archive ouverte HAL Access content directly
Conference Papers Year : 2002

Towards Bridging the Gap Between Programming Languages and Partial Evaluation

(1) , (1) , (1)
1

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.
Fichier principal
Vignette du fichier
lemeur-pepm02.pdf (186.5 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

inria-00476047 , version 1 (23-04-2010)

Identifiers

  • HAL Id : inria-00476047 , version 1

Cite

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. pp.9--18. ⟨inria-00476047⟩

Collections

INRIA INRIA2
71 View
159 Download

Share

Gmail Facebook Twitter LinkedIn More