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 条
  • [31] Proving failure in functional logic programs
    López-Fraguas, FJ
    Sánchez-Hernández, J
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 179 - 193
  • [32] Free Theorems for Functional Logic Programs
    Christiansen, Jan
    Seidel, Daniel
    Voigtlaender, Janis
    PLPV'10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2010, : 39 - 48
  • [33] Monadic logic programs and functional complexity
    Matos, AB
    THEORETICAL COMPUTER SCIENCE, 1997, 176 (1-2) : 175 - 204
  • [34] Reasoning about probabilistic sequential programs in a probabilistic logic
    Ying, MS
    ACTA INFORMATICA, 2003, 39 (05) : 315 - 389
  • [35] A Sequential Model for Reasoning about Bargaining in Logic Programs
    Chen, Wu
    Zhang, Dongmo
    Wu, Maonian
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 239 - 244
  • [36] Reasoning about probabilistic sequential programs in a probabilistic logic
    M. Ying
    Acta Informatica, 2003, 39 : 315 - 389
  • [37] Fast narrowing-driven partial evaluation for inductively sequential programs
    Ramos, JG
    Silva, J
    Vidal, G
    ACM SIGPLAN NOTICES, 2005, 40 (09) : 228 - 239
  • [38] IMPROVING CONTROL OF LOGIC PROGRAMS BY USING FUNCTIONAL LOGIC LANGUAGES
    HANUS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 1 - 23
  • [39] The narrowing-driven approach to functional logic program specialization
    Albert, E
    Vidal, G
    NEW GENERATION COMPUTING, 2002, 20 (01) : 3 - 26
  • [40] The narrowing-driven approach to functional logic program specialization
    Elvira Albert
    German Vidal
    New Generation Computing, 2002, 20 : 3 - 26
12345