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 条
  • [21] maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults
    Barthe, Gilles
    Belaid, Sonia
    Cassiers, Gaetan
    Fouque, Pierre-Alain
    Gregoire, Benjamin
    Standaert, Francois-Xavier
    [J]. COMPUTER SECURITY - ESORICS 2019, PT I, 2019, 11735 : 300 - 318
  • [22] Automatically Disproving Fair Termination of Higher-Order Functional Programs
    Watanabe, Keiichi
    Sato, Ryosuke
    Tsukada, Takeshi
    Kobayashi, Naoki
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (09) : 243 - 255
  • [23] A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
    Arroyo, Gustavo
    Guadalupe Ramos, J.
    Tamarit, Salvador
    Vidal, German
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2009, 5438 : 40 - +
  • [24] Generating Reversible Circuits from Higher-Order Functional Programs
    Valiron, Benoit
    [J]. REVERSIBLE COMPUTATION, RC 2016, 2016, 9720 : 289 - 306
  • [25] Using Circular Programs for Higher-Order Syntax Functional pearl
    Axelsson, Emil
    Claessen, Koen
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (09) : 257 - 262
  • [26] Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
    Avanzini, Martin
    Dal Lago, Ugo
    Moser, Georg
    [J]. PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 152 - 164
  • [27] Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
    Avanzini, Martin
    Dal Lago, Ugo
    Moser, Georg
    [J]. ACM SIGPLAN NOTICES, 2015, 50 (09) : 152 - 164
  • [28] Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs
    Shaner, Steve M.
    Leavens, Gary T.
    Naumann, David A.
    [J]. OOPSLA: 22ND INTERNATIONAL CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES, AND APPLICATIONS, PROCEEDINGS, 2007, : 351 - 367
  • [29] Verification of tree-processing programs via higher-order mode checking
    Unno, Hiroshi
    Tabuchi, Naoshi
    Kobayashi, Naoki
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (04) : 841 - 866
  • [30] Modular verification of higher-order methods with mandatory calls specified by model programs
    Shaner, Steve M.
    Leavens, Gary T.
    Naumann, David A.
    [J]. ACM SIGPLAN NOTICES, 2007, 42 (10) : 351 - 367
12345