UNFOLD FOLD TRANSFORMATIONS AND LOOP OPTIMIZATION OF LOGIC PROGRAMS

被引：0
作者：
DEBRAY, SK [1 ]
机构：
[1] UNIV ARIZONA,DEPT COMP SCI,TUCSON,AZ 85721
来源：
SIGPLAN NOTICES | 1988年 / 23卷 / 07期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：297 / 307
页数：11
相关论文
共 50 条
[41]   Loop Transformations: Convexity, Pruning and Optimization [J].
Pouchet, Louis-Noel ;
Bondhugula, Uday ;
Bastoul, Cedric ;
Cohen, Albert ;
Ramanujam, J. ;
Sadayappan, P. ;
Vasilache, Nicolas .
ACM SIGPLAN NOTICES, 2011, 46 (01) :549-561
[42]   BLONDEAU FOLD - UNFOLD YAN003 [J].
Drees, Stefan .
NEUE ZEITSCHRIFT FUR MUSIK, 2015, (01) :89-89
[43]   Loop Transformations: Convexity, Pruning and Optimization [J].
Pouchet, Louis-Noel ;
Bondhugula, Uday ;
Bastoul, Cedric ;
Cohen, Albert ;
Ramanujam, J. ;
Sadayappan, P. ;
Vasilache, Nicolas .
POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, :549-561
[44]   Schema-based transformations of logic programs in λProlog [J].
Olmer, P ;
Stepánek, P .
LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 :472-472
[45]   ABSTRACT INTERPRETATION OF LOGIC PROGRAMS USING MAGIC TRANSFORMATIONS [J].
DEBRAY, S ;
RAMAKRISHNAN, R .
JOURNAL OF LOGIC PROGRAMMING, 1994, 18 (02) :149-176
[46]   Using loop transformations for precision tuning in iterative programs [J].
Fakhreddine, Youssef ;
Revy, Guillaume .
2023 IEEE 30TH SYMPOSIUM ON COMPUTER ARITHMETIC, ARITH 2023, 2023, :159-166
[47]   LOT: Logic optimization with testability - New transformations for logic synthesis [J].
Chatterjee, M ;
Pradhan, DK ;
Kunz, W .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1998, 17 (05) :386-399
[48]   Optimization of logic programs with dynamic scheduling [J].
Puebla, G ;
delaPanda, MG ;
Marriott, K ;
Stuckey, PJ .
LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, :93-107
[49]   Semantics of constraint logic programs with optimization [J].
Marriott, Kim ;
Stuckey, Peter J. .
ACM letters on programming languages and systems, 1993, 2 (1-4) :197-212
[50]   The loop formula based semantics of description logic programs [J].
Wang, Yisong ;
You, Jia-Huai ;
Yuan, Li Yan ;
Shen, Yi-Dong ;
Zhang, Mingyi .
THEORETICAL COMPUTER SCIENCE, 2012, 415 :60-85
12345