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 条
  • [31] Transformations of logic programs on infinite lists
    Pettorossi, Alberto
    Senni, Valerio
    Proietti, Maurizio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 383 - 399
  • [32] Loop checks for logic programs with functions
    Shen, YD
    Yuan, LY
    You, JH
    THEORETICAL COMPUTER SCIENCE, 2001, 266 (1-2) : 441 - 461
  • [33] Loop formulas for description logic programs
    Wang, Yisong
    You, Jia-Huai
    Yuan, Li Yan
    Shen, Yi-Dong
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 531 - 545
  • [34] Loop formulas for disjunctive logic programs
    Lee, J
    Lifschitz, V
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 451 - 465
  • [35] Protein fold discovery using stochastic logic programs
    Chen, Jianzhong
    Kelley, Lawrence
    Muggleton, Stephen
    Sternberg, Michael
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 4911 LNAI : 244 - 262
  • [36] Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant
    Danvy, Olivier
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2022, 32 (01)
  • [37] Transformations of logic programs related to causality and planning
    Erdem, E
    Lifschitz, V
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 107 - 116
  • [38] REDUNDANCY ELIMINATION AND LOOP CHECKS FOR LOGIC PROGRAMS
    FERRUCCI, F
    PACINI, G
    SESSA, MI
    INFORMATION AND COMPUTATION, 1995, 119 (02) : 137 - 153
  • [39] AN ANALYSIS OF LOOP CHECKING MECHANISMS FOR LOGIC PROGRAMS
    BOL, RN
    APT, KR
    KLOP, JW
    THEORETICAL COMPUTER SCIENCE, 1991, 86 (01) : 35 - 79
  • [40] Loop Formulas for Splitable Temporal Logic Programs
    Aguado, Felicidad
    Cabalar, Pedro
    Perez, Gilberto
    Vidal, Concepcion
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 80 - 92
12345