SPES - A SYSTEM FOR LOGIC PROGRAM TRANSFORMATION

被引：0
|
作者：
ALEXANDRE, F [1 ]
BSAIES, K [1 ]
FINANCE, JP [1 ]
QUERE, A [1 ]
机构：
[1] INRIA LORRAINE, F-54506 VANDOEUVRE LES NANCY, FRANCE
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 624卷
关键词：
PROGRAM TRANSFORMATION; UNFOLDING; FOLDING; STRATEGY;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Spes is an interactive system for transforming logic programs. It is intended as a formal tool for transforming Horn clauses specifications into correct and more efficient programs. The main transformations used in the Spes system are Unfolding and Folding.
引用
收藏
页码：445 / 447
页数：3
相关论文
共 50 条
  • [1] PROGRAM OPTIMIZATION WITH LOGIC PROGRAM TRANSFORMATION
    HOSHINO, H
    ESASHI, M
    AGUSA, K
    OHNO, Y
    [J]. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 113 : 725 - 734
  • [2] A program transformation for tracing functional logic computations
    Brassel, Bernd
    Fischer, Sebastian
    Huch, Frank
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, 4407 : 160 - +
  • [3] A program transformation for backwards analysis of logic programs
    Gallagher, JP
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 3018 : 92 - 105
  • [4] A practical approach for logic program analysis and transformation
    Weber-Vasconcelos, W
    Meneses, EX
    [J]. MICAI 2000: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 1793 : 82 - 94
  • [5] A program transformation for backwards analysis of logic programs
    Gallagher, John P.
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3018 : 92 - 105
  • [6] Deciding Full Branching Time Logic by Program Transformation
    Pettorossi, Alberto
    Proietti, Maurizio
    Senni, Valerio
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 5 - +
  • [7] Applying program transformation to type inference for a logic language
    Kawaguchi, Y
    Akama, K
    Miyamoto, E
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (11): : 1141 - 1147
  • [8] Verification of Imperative Programs by Constraint Logic Program Transformation
    De Angelis, Emanuele
    Fioravanti, Fabio
    Pettorossi, Alberto
    Proietti, Maurizio
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 186 - 210
  • [9] DEEP LOGIC PROGRAM TRANSFORMATION USING ABSTRACT INTERPRETATION
    BOULANGER, DY
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 79 - 101
  • [10] A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS
    TOGASHI, A
    NOGUCHI, S
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (02): : 85 - 103
12345