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 条
  • [21] Verification of CRWL programs with rewriting logic
    Cleva, Jose Miguel
    Pita, Isabel
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (11) : 1594 - 1617
  • [22] Composing programs in a rewriting logic for declarative programming
    Molina-Bravo, JM
    Pimentel, E
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 189 - 221
  • [23] Qualified Computations in Functional Logic Programming
    Caballero, Rafael
    Rodriguez-Artalejo, Mario
    Romero-Diaz, Carlos A.
    LOGIC PROGRAMMING, 2009, 5649 : 449 - 463
  • [24] A Framework for Interpreting Traces of Functional Logic Computations
    Brassel, Bernd
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (01) : 91 - 106
  • [25] Semantic Determinism and Functional Logic Program Properties
    Miguel Cleva, Jose
    Lopez-Fraguas, Francisco J.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (01) : 3 - 15
  • [26] Database query languages and functional logic programming
    Almendros-Jiménez, JM
    Becerra-Terón, A
    NEW GENERATION COMPUTING, 2006, 24 (02) : 129 - 184
  • [27] Database query languages and functional logic programming
    Jesús M. Almendros-Jiménez
    Antonio Becerra-Terón
    New Generation Computing, 2006, 24 : 129 - 184
  • [28] TOWARDS A PARALLEL VIRTUAL MACHINE FOR FUNCTIONAL LOGIC PROGRAMMING
    Alqaddoumi, Abdulla
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 222 - 225
  • [29] A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
    Estevez-Martin, S.
    Fernandez, A. J.
    Hortala-Gonzalez, T.
    Rodriguez-Artalejo, M.
    Saenz-Perez, F.
    del Vado-Virseda, R.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 188 : 37 - 51
  • [30] A proof theoretic approach to failure in functional logic programming
    López-Fraguas, FJ
    Sánchez-Hernández, J
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 41 - 74
1234