Model Based Approach to Verification of Higher-Order Programs

被引：0
|
作者：
Walukiewicz, Igor [1 ]
机构：
[1] Bordeaux Univ, CNRS, Bordeaux, France
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 216期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：2 / +
页数：2
相关论文
共 50 条
  • [31] Learning higher-order logic programs
    Andrew Cropper
    Rolf Morel
    Stephen Muggleton
    Machine Learning, 2020, 109 : 1289 - 1322
  • [32] MACHINE LEARNING OF HIGHER-ORDER PROGRAMS
    BALIGA, G
    CASE, J
    JAIN, S
    SURAJ, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 9 - 20
  • [33] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [34] MACHINE LEARNING OF HIGHER-ORDER PROGRAMS
    BALIGA, G
    CASE, J
    JAIN, S
    SURAJ, M
    JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (02) : 486 - 500
  • [35] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [36] Visualizing the performance of higher-order programs
    Waddell, O
    Ashley, JM
    ACM SIGPLAN NOTICES, 1998, 33 (07) : 75 - 82
  • [37] PREDICATE TRANSFORMERS AND HIGHER-ORDER PROGRAMS
    NAUMANN, DA
    THEORETICAL COMPUTER SCIENCE, 1995, 150 (01) : 111 - 159
  • [38] A relational logic for higher-Order programs
    Aguirre A.
    Barthe G.
    Gaboardi M.
    Garg D.
    Strub P.-Y.
    2017, Association for Computing Machinery (01)
  • [39] A relational logic for higher-order programs
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Strub, Pierre-Yves
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [40] Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
    Kura, Satoshi
    Unno, Hiroshi
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
12345