Transformation Rules and Strategies for Functional-Logic Programs

被引：0
|
作者：
Moreno, Ginés [1 ]
机构：
[1] Departamento de Informática, UCLM, 02071 Albacete, Spain
来源：
AI Communications | 2002年 / 15卷 / 02期
关键词：
Functional logic programming;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：163 / 165
相关论文
共 50 条
  • [31] From Logic to Functional Logic Programs
    Hanus, Michael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
  • [32] Equivalent transformation rules as components of programs
    Mabuchi, Hiroshi
    Akama, Kiyoshi
    Wakatsuki, Toshihiro
    ICICIC 2006: FIRST INTERNATIONAL CONFERENCE ON INNOVATIVE COMPUTING, INFORMATION AND CONTROL, VOL 2, PROCEEDINGS, 2006, : 282 - +
  • [33] Equivalent transformation rules as components of programs
    Mabuchi, Hiroshi
    Akama, Kiyoshi
    Wakatsuki, Toshihiro
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2007, 3 (03): : 685 - 696
  • [34] A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS
    TOGASHI, A
    NOGUCHI, S
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (02): : 85 - 103
  • [35] TRANSFORMATION OF LOGIC PROGRAMS TO FP PROGRAMS BASED ON DATAFLOWS
    YAMASAKI, S
    IIDA, K
    JOURNAL OF SYMBOLIC COMPUTATION, 1994, 18 (02) : 157 - 182
  • [36] FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS
    DEBRAY, SK
    WARREN, DS
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03): : 451 - 481
  • [37] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
    GILLUEZAS, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
  • [38] Correction of functional logic programs
    Alpuente, M
    Ballis, D
    Correa, FJ
    Falaschi, M
    PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 54 - 68
  • [39] TRANSFORMATION OF LOGIC PROGRAMS - FOUNDATIONS AND TECHNIQUES
    PETTOROSSI, A
    PROIETTI, M
    JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 261 - 320
  • [40] From Functional Logic Programs to Purely Functional Programs Preserving Laziness
    Brassel, Bernd
    Fischer, Sebastian
    IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2011, 5836 : 25 - 42
12345