Formal verification of an optimizing compiler

被引：0
|
作者：
Leroy, Xavier [1 ]
机构：
[1] INIRA Rocquencourt, F-78153 Le Chesnay, France
来源：
TERM REWRITING AND APPLICATIONS, PROCEEDINGS | 2007年 / 4533卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] Formal verification of an optimizing compiler
    Leroy, Xavier
    MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 25 - 25
  • [2] Formal Verification of a Realistic Compiler
    Leroy, Xavier
    COMMUNICATIONS OF THE ACM, 2009, 52 (07) : 107 - 115
  • [3] Applying formal verification with protocol compiler
    Stangier, C
    Holtmann, U
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEMS DESIGN, PROCEEDINGS, 2001, : 165 - 169
  • [4] A Framework for Formal Verification of Compiler Optimizations
    Mansky, William
    Gunter, Elsa
    INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 371 - 386
  • [5] Formal Verification of Optimizing Compilers
    Zhang, Yiji
    Zuck, Lenore D.
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY (ICDCIT 2018), 2018, 10722 : 50 - 65
  • [6] Formal verification of a C compiler front-end
    Blazy, Sandrine
    Dargaye, Zaynah
    Leroy, Xavier
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 460 - 475
  • [7] Formal Verification of a Constant-Time Preserving C Compiler
    Barthe, Gilles
    Blazy, Sandrine
    Gregoire, Benjamin
    Hutin, Remi
    Laporte, Vincent
    Pichardie, David
    Trieu, Alix
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4
  • [8] A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
    Daudier, Dorian
    Trinh Ngoc Quoc Bao
    Ogata, Kazuhiro
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2017, 2018, 10795 : 200 - 217
  • [9] Formal verification of compiler transformations for speculative real-time execution
    Younis, MF
    Tsai, G
    Marlowe, TJ
    Stoyen, AD
    AUTOMATICA, 1998, 34 (08) : 939 - 952
  • [10] Formal verification of a compiler back-end generic checker program
    Dold, A
    Vialard, V
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 470 - 480
12345