Transforming constraint logic programs

被引：12
|
作者：
Bensaou, N [1 ]
Guessarian, I [1 ]
机构：
[1] Univ Paris 06, LITP, F-75252 Paris, France
来源：
THEORETICAL COMPUTER SCIENCE | 1998年 / 206卷 / 1-2期
关键词：
program transformations; constraint logic programs; least fixpoint semantics; correctness;
D O I：
10.1016/S0304-3975(97)00077-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study "a la Tamaki-Sato" transformations of constraint logic programs. We give an operational and fixpoint semantics of our constraint logic programs; we extend the Tamaki-Sato transformation system into a transformation system for constraint programs including fold-unfold, substitution, thinning and fattening, and constraint simplifications; we give a direct proof of its correctness which is simpler than the Tamaki-Sato proof.
引用
收藏
页码：81 / 125
页数：45
相关论文
共 50 条
  • [1] TRANSFORMING NORMAL LOGIC PROGRAMS TO CONSTRAINT LOGIC PROGRAMS
    KANCHANASUT, K
    STUCKEY, PJ
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 105 (01) : 27 - 56
  • [2] The semantics of constraint logic programs
    Jaffar, J
    Maher, M
    Marriott, K
    Stuckey, P
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 1 - 46
  • [3] Typing constraint logic programs
    Fages, F
    Coquery, E
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 751 - 777
  • [4] Termination of constraint logic programs
    Ruggieri, S
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 838 - 848
  • [5] A compiler generator for constraint logic programs
    Craig, SJ
    Leuschel, M
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 148 - 161
  • [6] DISJUNCTIVE LOGIC PROGRAMS AND CONSTRAINT PROCESSING
    RAJASEKAR, A
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 610 - 619
  • [7] Global analysis of constraint logic programs
    DeLaBanda, MG
    Hermenegildo, M
    Bruynooghe, M
    Dumortier, V
    Janssens, G
    Simoens, W
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (05): : 564 - 614
  • [8] INTEGER PROGRAMS FOR LOGIC CONSTRAINT SATISFACTION
    MONFROGLIO, A
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 97 (01) : 105 - 130
  • [9] A dataflow semantics for constraint logic programs
    Colussi, L
    Marchiori, E
    Marchiori, M
    [J]. PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 431 - 448
  • [10] Incremental analysis of constraint logic programs
    Hermenegildo, M
    Puebla, G
    Marriott, K
    Stuckey, PJ
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (02): : 187 - 223
12345