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
相关论文
共 34 条
  • [1] Transformation rules and strategies for functional-logic programs
    Moreno, G
    AI COMMUNICATIONS, 2002, 15 (2-3) : 163 - 165
  • [2] 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
  • [3] XQuery in the Functional-Logic Language Toy
    Almendros-Jimenez, Jesus M.
    Caballero, Rafael
    Garcia-Ruiz, Yolanda
    Saenz-Perez, Fernando
    FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, 2011, 6816 : 35 - +
  • [4] Integrating XPath with the Functional-Logic Language Toy
    Caballero, Rafael
    Garcia-Ruiz, Yolanda
    Saenz-Perez, Fernando
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2011, 6539 : 145 - +
  • [5] XPath Query Processing in a Functional-Logic Language
    Almendros-Jimenez, J. M.
    Caballerob, R.
    Garcia-Ruiz, Y.
    Saenz-Perez, F.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 282 : 19 - 34
  • [6] A New Functional-Logic Compiler for Curry: SPRITE
    Antoy, Sergio
    Jost, Andy
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 97 - 113
  • [7] Constructive failure in functional-logic programming:: From theory to implementation
    Sanchez-Hernandez, Jaime
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (11) : 1574 - 1593
  • [8] Functional-Logic Programming for Web Knowledge Representation, Sharing and Querying
    Nickles, Matthias
    KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2014, 2014, 8876 : 333 - 338
  • [9] From Logic to Functional Logic Programs
    Hanus, Michael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
  • [10] Reporting Failures in Functional Logic Programs
    Hanus, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (01) : 59 - 73
1234