Abstract specialization and its applications

被引:0
作者
Puebla, G [1 ]
Hermenegildo, M
机构
[1] Tech Univ Madrid, UPM, Dept Comp Sci, Madrid, Spain
[2] Univ New Mexico, Dept CS & E & C Engn, Albuquerque, NM 87131 USA
关键词
languages; performance; theory; abstract interpretation; program specialization; partial evaluation; program optimization; program parallelization; logic programming; static analysis;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The aim of program specialization is to optimize programs by exploiting certain knowledge about the context in which the program will execute. There exist many program manipulation techniques which allow specializing the program in different ways. Among them, one of the best known techniques is partial evaluation, often referred to simply as program specialization, which optimizes programs by specializing them for (partially) known input data. In this work we describe abstract specialization, a technique whose main features are: (1) specialization is performed with respect to "abstract" values rather than "concrete" ones, and (2) abstract interpretation rather than standard interpretation of the program is used in order to propagate information about execution states. The concept of abstract specialization is at the heart of the specialization system in CiaoPP, the Ciao system preprocessor. In this paper we present a unifying view of the different specialization techniques used in CiaoPP and discuss their potential applications by means of examples. The applications discussed include program parallelization, optimization of dynamic scheduling (concurrency), and integration of partial evaluation techniques.
引用
收藏
页码:269 / 283
页数:15
相关论文
共 51 条
[21]  
HERMENEGILDO M, 2003, LNCS
[22]  
Hermenegildo M. V., 1991, New Generation Computing, V9, P233, DOI 10.1007/BF03037164
[23]   STRICT AND NONSTRICT INDEPENDENT AND PARALLELISM IN LOGIC PROGRAMS - CORRECTNESS, EFFICIENCY, AND COMPILE-TIME CONDITIONS [J].
HERMENEGILDO, MV ;
ROSSI, F .
JOURNAL OF LOGIC PROGRAMMING, 1995, 22 (01) :1-45
[24]  
Jones N. D., 1997, LNCS, V1302, P396
[25]  
Jones ND, 1993, PARTIAL EVALUATION A
[26]  
KOMOROWSKI J, 1992, LECT NOTES COMPUT SC, V649, P49
[27]  
LEUSCHEL M, 1998, JOINT INT C S LOG PR
[28]  
LEUSCHEL M, 1996, LECT NOTES COMPUTER, V1140, P137
[29]  
LEUSCHEL M, 2001, LNCS, V2372
[30]  
LEUSCHEL M, 1996, P JOINT INT C S LOG