PROVING A COMPILER CORRECT - SIMPLE APPROACH

被引：6
|
作者：
GERMANO, G
MAGGIOLOSCHETTINI, A
机构：
[1] CNR, LAB CIBERNETICA, VIA TOIANO 2, 80072 ARCO FELICE, ITALY
[2] UNIV SALERNO, IST SCI & INFORMAZIONE, 84100 SALERNO, ITALY
来源：
JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1975年 / 10卷 / 03期
关键词：
D O I：
10.1016/S0022-0000(75)80007-9
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：370 / 383
页数：14
相关论文
共 50 条
  • [41] MORE ON ADVICE ON STRUCTURING COMPILERS AND PROVING THEM CORRECT
    THATCHER, JW
    WAGNER, EG
    WRIGHT, JB
    THEORETICAL COMPUTER SCIENCE, 1981, 15 (03) : 223 - 249
  • [42] Proving Optimizations Correct using Parameterized Program Equivalence
    Kundu, Sudipta
    Tatlock, Zachary
    Lerner, Sorin
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 327 - 337
  • [43] A Surprisingly Simple Lua Compiler
    Gualandi, Hugo Musso
    Ierusalimschy, Roberto
    25TH BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES, SBLP 2021, 2021, : 1 - 8
  • [44] Proving Correctness of a Compiler Using Step-indexed Logical Relations
    Rodriguez, Leonardo
    Pagano, Miguel
    Fridlender, Daniel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 323 : 197 - 214
  • [45] A provably correct compiler for efficient model checking of mobile processes
    Yang, P
    Dong, YF
    Ramakrishnan, CR
    Smolka, SA
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2005, 3350 : 113 - 127
  • [46] Designing and proving correct a convex hull algorithm with hypermaps in Coq
    Brun, Christophe
    Dufourd, Jean-Francois
    Magaud, Nicolas
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2012, 45 (08): : 436 - 457
  • [47] The CISE Tool: Proving Weakly-Consistent Applications Correct
    Najafzadeh, Mahsa
    Gotsman, Alexey
    Yang, Hongseok
    Ferreira, Carla
    Shapiro, Marc
    PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, 2016,
  • [48] Proving the correct execution of concurrent services in zero-knowledge
    Setty, Srinath
    Angel, Sebastian
    Gupta, Trinabh
    Lee, Jonathan
    PROCEEDINGS OF THE 13TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2018, : 339 - 356
  • [49] A SIMPLE COMPILER .1. THE BASICS
    AMSTERDAM, J
    BYTE, 1985, 10 (13): : 107 - &
  • [50] APPROACH TO PROGRAM PROVING
    BARKER, P
    DATA PROCESSING, 1975, 17 (02): : 96 - 98
12345