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 条
  • [1] Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs
    Kobayashi, Naoki
    [J]. ACM SIGPLAN NOTICES, 2009, 44 (01) : 416 - 428
  • [2] Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification
    Kobayashi, Naoki
    Tabuchi, Naoshi
    Unno, Hiroshi
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (01) : 495 - 507
  • [3] Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification
    Kobayashi, Naoki
    Tabuchi, Naoshi
    Unno, Hiroshi
    [J]. POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 495 - 507
  • [4] Semantics of Higher-Order Recursion Schemes
    Adamek, Jiri
    Milius, Stefan
    Velebil, Jiri
    [J]. ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 49 - +
  • [5] Linearity in Higher-Order Recursion Schemes
    Clairambault, Pierre
    Grellois, Charles
    Murawski, Andrzej S.
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [6] SEMANTICS OF HIGHER-ORDER RECURSION SCHEMES
    Adamek, Jiri
    Milius, Stefan
    Velebil, Jiri
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)
  • [7] On the Relationship between Higher-Order Recursion Schemes and Higher-Order Fixpoint Logic
    Kobayashi, Naoki
    Lozes, Etienne
    Bruse, Florian
    [J]. ACM SIGPLAN NOTICES, 2017, 52 (01) : 246 - 259
  • [8] Exact bounds for acyclic higher-order recursion schemes
    Afshari, Bahareh
    Wehr, Dominik
    [J]. INFORMATION AND COMPUTATION, 2023, 290
  • [9] The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
    Clemente, Lorenzo
    Parys, Pawel
    Salvati, Sylvain
    Walukiewicz, Igor
    [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 96 - 105
  • [10] IO vs OI in Higher-Order Recursion Schemes
    Haddad, Axel
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (77): : 23 - 30
12345