A tour of Tempo: a program specializer for the C language

被引：15
|
作者：
Consel, C
Lawall, JL
Le Meur, AF
机构：
[1] ENSEIRB, LaBRI, INRIA, Compose Grp, F-33402 Talence, France
[2] Univ Copenhagen, Dept Comp Sci, DK-2100 Copenhagen, Denmark
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2004年 / 52卷 / 1-3期
关键词：
program specialization; data specialization; program analysis; imperative language; applications;
D O I：
10.1016/j.scico.2004.03.011
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Specialization is an automatic approach to customizing a program with respect to configuration values. In this paper, we present a survey of Tempo, a specializer for the C language. Tempo offers specialization at both compile time and run time, and both program and data specialization. To control the specialization process, Tempo provides the program developer with a declarative language to describe specialization opportunities for a given program. The functionalities and features of Tempo have been driven by the needs of practical applications. Tempo has been successfully applied to a variety of realistic programs in areas such as operating systems and networking. We give an overview of the design of Tempo and of its use in specializing realistic applications. (C) 2004 Elsevier B.V.. All rights reserved.
引用
收藏
页码：341 / 370
页数：30
相关论文
共 50 条
12345