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 条
  • [1] Specialization of inductively sequential functional logic programs
    Alpuente, M
    Hanus, M
    Lucas, S
    Vidal, G
    ACM SIGPLAN NOTICES, 1999, 34 (09) : 273 - 283
  • [2] Specialization of lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Julian, P
    Vidal, G
    ACM SIGPLAN NOTICES, 1997, 32 (12) : 151 - 162
  • [3] Specialization of functional logic programs based on needed narrowing
    Alpuente, M
    Lucas, S
    Vidal, G
    Hanus, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 273 - 303
  • [4] Separation Logic for Sequential Programs (Functional Pearl)
    Chargueraud, Arthur
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (ICFP):
  • [5] A generic framework for the analysis and specialization of logic programs
    Puebla, G
    Albert, E
    Hermenegildo, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 407 - 409
  • [6] Using static analysis to compile non-sequential functional logic programs
    Mariño, J
    Moreno-Navarro, JJ
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2000, 1753 : 63 - 80
  • [7] Using static analysis to compile non-sequential functional logic programs
    Mariño, J
    Moreno-Navarro, JJ
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 614 - 614
  • [8] From Logic to Functional Logic Programs
    Hanus, Michael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
  • [9] Sequential composition of propositional logic programs
    Christian Antić
    Annals of Mathematics and Artificial Intelligence, 2024, 92 : 505 - 533
  • [10] Sequential composition of propositional logic programs
    Antic, Christian
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2024, 92 (02) : 505 - 533
12345