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 条
  • [1] Transformation rules and strategies for functional-logic programs
    Moreno, G
    AI COMMUNICATIONS, 2002, 15 (2-3) : 163 - 165
  • [2] Extensions:: A technique for structuring functional-logic programs
    Caballero, R
    López-Fraguas, FJ
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 297 - 310
  • [3] Rules and strategies for transforming functional and logic programs
    Pettorossi, A
    Proietti, M
    ACM COMPUTING SURVEYS, 1996, 28 (02) : 360 - 414
  • [4] Rules plus strategies for transforming lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Moreno, G
    Vidal, G
    THEORETICAL COMPUTER SCIENCE, 2004, 311 (1-3) : 479 - 525
  • [5] A functional-logic perspective of parsing
    Caballero, R
    López-Fraguas, FJ
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 85 - 99
  • [6] FLANG - A FUNCTIONAL-LOGIC LANGUAGE
    MANTSIVODA, AV
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 257 - 270
  • [7] Functional-logic graph parser combinators
    Mazanek, Steffen
    Minas, Mark
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 261 - 275
  • [8] Transformation rules for logic programs with goals as arguments
    Pettorossi, A
    Proietti, M
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, PROCEEDINGS, 2000, 1817 : 176 - 195
  • [9] Overlapping rules and logic variables in functional logic programs
    Antoy, Sergio
    Hanus, Michael
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 87 - 101
  • [10] A Functional-Logic Library for Wired
    Naylor, Matthew
    Axelsson, Emil
    Runciman, Colin
    HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, 2007, : 37 - 48
12345