Types and Recursion Schemes for Higher-Order Program Verification

被引：0
|
作者：
Kobayashi, Naoki [1 ]
机构：
[1] Tohoku Univ, Sendai, Miyagi 980, Japan
来源：
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2009年 / 5904卷
关键词：
TREES;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：2 / 3
页数：2
相关论文
共 50 条
  • [41] HIGHER-ORDER GODUNOV SCHEMES FOR ISOTHERMAL HYDRODYNAMICS
    BALSARA, DS
    ASTROPHYSICAL JOURNAL, 1994, 420 (01): : 197 - 212
  • [42] CONSTRUCTION OF HIGHER-ORDER SYMPLECTIC SCHEMES BY COMPOSITION
    QIN, MZ
    ZHU, WJ
    COMPUTING, 1992, 47 (3-4) : 309 - 321
  • [43] A multigrid method with higher-order discretization schemes
    Varonos, AA
    Bergeles, GC
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN FLUIDS, 2001, 35 (04) : 395 - 420
  • [44] A COMPARISON OF HIGHER-ORDER BOUNDED CONVECTION SCHEMES
    CHOI, SK
    NAM, HY
    CHO, M
    COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 1995, 121 (1-4) : 281 - 301
  • [45] Automated Verification of Higher-Order Functional Programs
    Terauchi, Tachio
    FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 2 - 2
  • [46] Temporal Verification of Higher-Order Functional Programs
    Murase, Akihiro
    Terauchi, Tachio
    Kobayashi, Naoki
    Sato, Ryosuke
    Unno, Hiroshi
    ACM SIGPLAN NOTICES, 2016, 51 (01) : 57 - 68
  • [47] Modular Verification of Higher-Order Functional Programs
    Sato, Ryosuke
    Kobayashi, Naoki
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2017): 26TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2017, 10201 : 831 - 854
  • [48] Higher-Order Constrained Horn Clauses for Verification
    Burn, Toby Cathcart
    Ong, C-H Luke
    Ramsay, Steven J.
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [49] Formal Verification of Higher-Order Probabilistic Programs
    Sato, Tetsuya
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Hsu, Justin
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [50] Higher-order matching for program transformation
    de Moor, O
    Sittampalam, G
    THEORETICAL COMPUTER SCIENCE, 2001, 269 (1-2) : 135 - 162
12345