Adapting functional programs to higher order logic

被引：10
|
作者：
School of Computing, University of Utah, Salt Lake City, United States [1 ]
机构：
来源：
High Order Symbol Comput | 2008年 / 4卷 / 377-409期
关键词：
Formal logic;
D O I：
10.1007/s10990-008-9038-0
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A Temporal Logic for Higher-Order Functional Programs
    Okuyama, Yuya
    Tsukada, Takeshi
    Kobayashi, Naoki
    STATIC ANALYSIS (SAS 2019), 2019, 11822 : 437 - 458
  • [2] Propositional Dynamic Logic for Higher-Order Functional Programs
    Satake, Yuki
    Unno, Hiroshi
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 105 - 123
  • [3] Learning higher-order logic programs
    Andrew Cropper
    Rolf Morel
    Stephen Muggleton
    Machine Learning, 2020, 109 : 1289 - 1322
  • [4] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
  • [5] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [6] A relational logic for higher-order programs
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Strub, Pierre-Yves
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [7] A relational logic for higher-Order programs
    Aguirre A.
    Barthe G.
    Gaboardi M.
    Garg D.
    Strub P.-Y.
    2017, Association for Computing Machinery (01)
  • [8] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [9] A higher order rewriting logic for functional logic programming
    GonzalezMoreno, JC
    HortalaGonzalez, MT
    RodriguezArtalejo, M
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 153 - 167
  • [10] Proving pointer programs in higher-order logic
    Mehta, F
    Nipkow, T
    INFORMATION AND COMPUTATION, 2005, 199 (1-2) : 200 - 227
12345