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 条
  • [41] A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs
    Wang, Yuting
    Nadathur, Gopalan
    PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 : 752 - 779
  • [42] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL
    FORSTER, T
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
  • [43] C-SHORe A Collapsible Approach to Verifying Higher-Order Programs
    Broadbent, Christopher
    Carayol, Arnaud
    Hague, Matthew
    Serre, Olivier
    ACM SIGPLAN NOTICES, 2013, 48 (09) : 13 - 24
  • [44] Higher-order vibration of thick composite and sandwich plates based on an alternative higher-order model
    Jinghui DENG
    Tangzhen WU
    Zhen WU
    Zhengliang LIU
    Xiaohui REN
    Chinese Journal of Aeronautics, 2023, 36 (03) : 406 - 420
  • [45] Higher-order vibration of thick composite and sandwich plates based on an alternative higher-order model
    Jinghui DENG
    Tangzhen WU
    Zhen WU
    Zhengliang LIU
    Xiaohui REN
    Chinese Journal of Aeronautics, 2023, (03) : 406 - 420
  • [46] Higher-order vibration of thick composite and sandwich plates based on an alternative higher-order model
    Deng, Jinghui
    Wu, Tangzhen
    Wu, Zhen
    Liu, Zhengliang
    Ren, Xiaohui
    CHINESE JOURNAL OF AERONAUTICS, 2023, 36 (03) : 406 - 420
  • [47] Automated techniques for higher-order program verification
    1600, National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan
  • [48] Lazy Abstraction for Higher-Order Program Verification
    Terao, Taku
    PPDP'18: PROCEEDINGS OF THE 20TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2018,
  • [49] 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
  • [50] USE OF HIGHER-ORDER LOGIC IN PROGRAM VERIFICATION
    ERNST, GW
    HOOKWAY, RJ
    IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (08) : 844 - 851
12345