Synthesis of rewrite programs by higher-order and semantic unification

被引：0
|
作者：
Hagiya, M.
机构：
来源：
Algorithmic Learning Theory | 1990年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Relational semantics for higher-order programs
    Aboul-Hosn, Kamal
    Kozen, Dexter
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2006, 4014 : 29 - 48
  • [32] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
  • [33] Model Checking Higher-Order Programs
    Kobayashi, Naoki
    JOURNAL OF THE ACM, 2013, 60 (03)
  • [34] Learning higher-order logic programs
    Andrew Cropper
    Rolf Morel
    Stephen Muggleton
    Machine Learning, 2020, 109 : 1289 - 1322
  • [35] MACHINE LEARNING OF HIGHER-ORDER PROGRAMS
    BALIGA, G
    CASE, J
    JAIN, S
    SURAJ, M
    JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (02) : 486 - 500
  • [36] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [37] VERIFICATION OF PROGRAMS WITH HIGHER-ORDER ARRAYS
    KOWALCZYK, W
    URZYCZYN, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 251 - 258
  • [38] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [39] Visualizing the performance of higher-order programs
    Waddell, O
    Ashley, JM
    ACM SIGPLAN NOTICES, 1998, 33 (07) : 75 - 82
  • [40] MACHINE LEARNING OF HIGHER-ORDER PROGRAMS
    BALIGA, G
    CASE, J
    JAIN, S
    SURAJ, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 9 - 20
12345