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 条
  • [21] Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs
    Matsumoto, Yuma
    Kobayashi, Naoki
    Unno, Hiroshi
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2015, 2015, 9458 : 295 - 312
  • [22] Verification of higher-order computation: A game-semantic approach
    Ong, C. -H. L.
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 299 - 306
  • [23] A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
    Arroyo, Gustavo
    Guadalupe Ramos, J.
    Tamarit, Salvador
    Vidal, German
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2009, 5438 : 40 - +
  • [24] Verification of tree-processing programs via higher-order mode checking
    Unno, Hiroshi
    Tabuchi, Naoshi
    Kobayashi, Naoki
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (04) : 841 - 866
  • [25] Verification of Code Generators via Higher-Order Model Checking
    Suwa, Takashi
    Tsukada, Takeshi
    Kobayashi, Naoki
    Igarashi, Atsushi
    PROCEEDINGS OF THE 2017 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'17), 2017, : 59 - 70
  • [26] SPECIFICATION AND VERIFICATION OF HIGHER-ORDER PROCESSES
    HANSEN, MR
    ZHOU, CC
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 322 - 328
  • [27] Model-Checking Higher-Order Programs with Recursive Types
    Kobayashi, Naoki
    Igarashi, Atsushi
    PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 7792 : 431 - 450
  • [28] Higher-Order Program Verification and Language-Based Security
    Kobayashi, Naoki
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2009: INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2009, 5913 : 17 - 23
  • [29] Relational semantics for higher-order programs
    Aboul-Hosn, Kamal
    Kozen, Dexter
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2006, 4014 : 29 - 48
  • [30] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
12345