Specialization of inductively sequential functional logic programs

被引：0
|
作者：
Alpuente, María [1 ]
Hanus, Michael [2 ]
Lucas, Salvador [1 ]
Vidal, Germán [1 ]
机构：
[1] DSIC, UPV, Camino de Vera s/n, 46022 Valencia, Spain
[2] Informatik II, RWTH Aachen, D-52056 Aachen, Germany
来源：
SIGPLAN Notices (ACM Special Interest Group on Programming Languages) | 1999年 / 34卷 / 09期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：273 / 282
相关论文
共 50 条
  • [21] Reporting Failures in Functional Logic Programs
    Hanus, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (01) : 59 - 73
  • [22] Incremental learning of functional logic programs
    Ferri-Ramírez, C
    Hernández-Orallo, J
    Quintana, MJR
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 233 - 247
  • [23] SFLP: a solver for functional logic programs
    Hamada, M
    Ida, T
    PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 466 - 469
  • [24] DERIVATION OF LOGIC PROGRAMS BY FUNCTIONAL METHODS
    BIJLSMA, A
    INFORMATION PROCESSING LETTERS, 1991, 39 (06) : 325 - 332
  • [25] Transformation and debugging of functional logic programs
    Alpuente M.
    Ballis D.
    Falaschi M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 271 - 299
  • [26] Controlling search in functional logic programs
    Hanus, M
    Steiner, F
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 347 - 348
  • [27] Partial evaluation of functional logic programs
    Alpuente, M
    Falaschi, M
    Vidal, G
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (04): : 768 - 844
  • [28] Liberal Typing for Functional Logic Programs
    Lopez-Fraguas, Francisco
    Martin-Martin, Enrique
    Rodriguez-Hortala, Juan
    PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 80 - 96
  • [29] Concolic Testing of Functional Logic Programs
    Tikovsky, Jan Rasmus
    DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 169 - 186
  • [30] Nondeterminism analysis of functional logic programs
    Brassel, B
    Hanus, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 265 - 279
12345