FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS

被引：36
|
作者：
DEBRAY, SK [1 ]
WARREN, DS [1 ]
机构：
[1] SUNY STONY BROOK,DEPT COMP SCI,STONY BROOK,NY 11794
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1989年 / 11卷 / 03期
关键词：
D O I：
10.1145/65979.65984
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：451 / 481
页数：31
相关论文
共 50 条
  • [41] Specialization of inductively sequential functional logic programs
    Alpuente, M
    Hanus, M
    Lucas, S
    Vidal, G
    [J]. ACM SIGPLAN NOTICES, 1999, 34 (09) : 273 - 283
  • [42] A transformation system for lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Moreno, G
    Vidal, G
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 147 - 162
  • [43] TRANSLATION OF LOGIC PROGRAMS INTO FUNCTIONAL FIXPOINT EQUATIONS
    GARDARIN, G
    GUESSARIAN, I
    DEMAINDREVILLE, C
    [J]. THEORETICAL COMPUTER SCIENCE, 1989, 63 (03) : 253 - 274
  • [44] A slicing tool for lazy functional logic programs
    Ochoa, Claudio
    Silva, Josep
    Vidal, German
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 498 - 501
  • [45] Rules and strategies for transforming functional and logic programs
    Pettorossi, A
    Proietti, M
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (02) : 360 - 414
  • [46] An automatic composition algorithm for functional logic programs
    Alpuente, M
    Falaschi, M
    Moreno, G
    Vidal, G
    [J]. SOFSEM 2000: THEORY AND PRACTICE OF INFORMATICS, 2000, 1963 : 289 - 297
  • [47] A liberal type system for functional logic programs
    Javier Lopez-Fraguas, Francisco
    Martin-Martin, Enrique
    Rodriguez-Hortala, Juan
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (04) : 942 - 977
  • [48] Separation Logic for Sequential Programs (Functional Pearl)
    Chargueraud, Arthur
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (ICFP):
  • [49] Improving functional logic programs by difference-lists
    Albert, E
    Ferri, C
    Steiner, F
    Vidal, G
    [J]. ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS, 2000, 1961 : 237 - 254
  • [50] Equivalence of Two Formal Semantics for Functional Logic Programs
    Lopez-Fraguas, F. J.
    Rodriguez-Hortala, J.
    Sanchez-Hernandez, J.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 188 : 117 - 142
12345