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 条
  • [41] Partial evaluation of lazy functional logic programs
    Iranzo, PJ
    AI COMMUNICATIONS, 2003, 16 (02) : 121 - 123
  • [42] A transformation system for lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Moreno, G
    Vidal, G
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 147 - 162
  • [43] TRANSLATION OF LOGIC PROGRAMS INTO FUNCTIONAL FIXPOINT EQUATIONS
    GARDARIN, G
    GUESSARIAN, I
    DEMAINDREVILLE, C
    THEORETICAL COMPUTER SCIENCE, 1989, 63 (03) : 253 - 274
  • [44] Rules and strategies for transforming functional and logic programs
    Pettorossi, A
    Proietti, M
    ACM COMPUTING SURVEYS, 1996, 28 (02) : 360 - 414
  • [45] An automatic composition algorithm for functional logic programs
    Alpuente, M
    Falaschi, M
    Moreno, G
    Vidal, G
    SOFSEM 2000: THEORY AND PRACTICE OF INFORMATICS, 2000, 1963 : 289 - 297
  • [46] A slicing tool for lazy functional logic programs
    Ochoa, Claudio
    Silva, Josep
    Vidal, German
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 498 - 501
  • [47] Adapting functional programs to higher order logic
    School of Computing, University of Utah, Salt Lake City, United States
    High Order Symbol Comput, 2008, 4 (377-409):
  • [48] A liberal type system for functional logic programs
    Javier Lopez-Fraguas, Francisco
    Martin-Martin, Enrique
    Rodriguez-Hortala, Juan
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (04) : 942 - 977
  • [49] Improving functional logic programs by difference-lists
    Albert, E
    Ferri, C
    Steiner, F
    Vidal, G
    ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS, 2000, 1961 : 237 - 254
  • [50] Equivalence of Two Formal Semantics for Functional Logic Programs
    Lopez-Fraguas, F. J.
    Rodriguez-Hortala, J.
    Sanchez-Hernandez, J.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 188 : 117 - 142
12345