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 条
  • [31] SPECIFICATION AND VERIFICATION OF HIGHER-ORDER PROCESSES
    HANSEN, MR
    ZHOU, CC
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 322 - 328
  • [32] VERIFICATION OF PROGRAMS WITH HIGHER-ORDER ARRAYS
    KOWALCZYK, W
    URZYCZYN, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 251 - 258
  • [33] Higher-order superposition for dependent types
    Virga, R
    REWRITING TECHNIQUES AND APPLICATIONS, 1996, 1103 : 123 - 137
  • [34] Recursion operators, higher-order symmetries and superintegrability in quantum mechanics
    Sheftel, MB
    Tempesta, P
    Winternitz, P
    CZECHOSLOVAK JOURNAL OF PHYSICS, 2001, 51 (04) : 392 - 399
  • [35] Higher-order games with dependent types
    Escardo, Martin
    Oliva, Paulo
    THEORETICAL COMPUTER SCIENCE, 2023, 974
  • [36] HIGHER-ORDER DATA-TYPES
    MAIBAUM, TSE
    LUCENA, CJ
    INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1980, 9 (01): : 31 - 53
  • [37] Higher-order algebra with transfinite types
    Steggles, LJ
    HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 238 - 263
  • [38] Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
    Biendarra, Julian
    Blanchette, Jasmin Christian
    Bouzy, Aymeric
    Desharnais, Martin
    Fleury, Mathias
    Holzl, Johannes
    Kuncar, Ondrej
    Lochbihler, Andreas
    Meier, Fabian
    Panny, Lorenz
    Popescu, Andrei
    Sternagel, Christian
    Thiemann, Rene
    Traytel, Dmitriy
    FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), 2017, 10483 : 3 - 21
  • [39] HIGHER-ORDER MONOTONIC CONVECTIVE DIFFERENCE SCHEMES
    FORESTER, CK
    JOURNAL OF COMPUTATIONAL PHYSICS, 1977, 23 (01) : 1 - 22
  • [40] Recursive marginal quantization of higher-order schemes
    McWalter, T. A.
    Rudd, R.
    Kienitz, J.
    Platen, E.
    QUANTITATIVE FINANCE, 2018, 18 (04) : 693 - 706