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 条
[21]   EUREKA DEFINITIONS FOR FREE - DISAGREEMENT POINTS FOR FOLD UNFOLD TRANSFORMATIONS [J].
NIELSON, HR ;
NIELSON, F .
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 432 :291-305
[22]   Unfold/fold transformations for automated verification of parameterized concurrent systems [J].
Roychoudhury, A ;
Ramakrishnan, CR .
PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 :261-290
[23]   PRESERVATION OF STRONGER EQUIVALENCE IN UNFOLD FOLD LOGIC PROGRAM TRANSFORMATION [J].
KAWAMURA, T ;
KANAMORI, T .
THEORETICAL COMPUTER SCIENCE, 1990, 75 (1-2) :139-156
[24]   Transformations of logic programs [J].
Nigiyan, SA ;
Khachoyan, LO .
PROGRAMMING AND COMPUTER SOFTWARE, 1997, 23 (06) :302-309
[25]   Transformations of logic programs [J].
Nigiyan, S.A. ;
Khachoyan, L.O. .
Programmirovanie, (06) :17-28
[26]   AUTOMATIC, SELF-ADAPTIVE CONTROL OF UNFOLD-FOLD TRANSFORMATIONS [J].
BOYLE, JM .
PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 :83-103
[27]   Improving efficiency of prolog programs by fully automated Unfold/Fold transformation [J].
Vyskocil, Jiri ;
Stepanek, Petr .
MICAI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2007, 4827 :305-+
[28]   Constructively characterizing fold and unfold [J].
Weber, T ;
Caldwell, J .
LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 3018 :110-127
[29]   Fold and unfold for program semantics [J].
Hutton, G .
ACM SIGPLAN NOTICES, 1999, 34 (01) :280-288
[30]   Transformations of logic programs with goals as arguments [J].
Pettorossi, A ;
Proietti, M .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 :495-537
12345