Automated Verification of Higher-Order Functional Programs

被引：0
|
作者：
Terauchi, Tachio [1 ]
机构：
[1] Nagoya Univ, Nagoya, Aichi, Japan
来源：
FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012) | 2012年 / 7294卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [1] Modular Verification of Higher-Order Functional Programs
    Sato, Ryosuke
    Kobayashi, Naoki
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 831 - 854
  • [2] Temporal Verification of Higher-Order Functional Programs
    Murase, Akihiro
    Terauchi, Tachio
    Kobayashi, Naoki
    Sato, Ryosuke
    Unno, Hiroshi
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 57 - 68
  • [3] Automatic Termination Verification for Higher-Order Functional Programs
    Kuwahara, Takuya
    Terauchi, Tachio
    Unno, Hiroshi
    Kobayashi, Naoki
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 8410 : 392 - 411
  • [4] Automating Relatively Complete Verification of Higher-Order Functional Programs
    Unno, Hiroshi
    Terauchi, Tachio
    Kobayashi, Naoki
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (01) : 75 - 86
  • [5] VERIFICATION OF PROGRAMS WITH HIGHER-ORDER ARRAYS
    KOWALCZYK, W
    URZYCZYN, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 251 - 258
  • [6] Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs
    Kobayashi, Naoki
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (01) : 416 - 428
  • [7] Formal Verification of Higher-Order Probabilistic Programs
    Sato, Tetsuya
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Hsu, Justin
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [8] Automated techniques for higher-order program verification
    [J]. 1600, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan
  • [9] Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
    Kura, Satoshi
    Unno, Hiroshi
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
  • [10] Soft Contract Verification for Higher-Order Stateful Programs
    Nguyen, Phuc C.
    Gilray, Thomas
    Tobin-Hochstadt, Sam
    Van Horn, David
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
12345