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 条
  • [21] A formal method for proving programs correct
    Chiang, CC
    Neubart, D
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 718 - 723
  • [22] Dependent types, theorem proving, and applications for a verifying compiler
    Bertot, Yves
    Thery, Laurent
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 173 - 181
  • [23] A SIMPLE, EFFICIENT, AND THEORETICALLY CORRECT APPROACH TO SIMULATION ANALYSIS
    BOGGESS, WG
    RAMIREZ, OA
    MOSS, CB
    AMERICAN JOURNAL OF AGRICULTURAL ECONOMICS, 1990, 72 (05) : 1351 - 1351
  • [24] Towards a Demonstrably-Correct Ada Compiler
    Nettleton, Chris
    Ifill, Wilson
    Marsh, Colin
    SIGADA'07: PROCEEDINGS OF THE 2007 ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE, 2007, : 89 - 95
  • [25] A simple approach to correct ectopic eruption of maxillary canines
    Ferreira, Jamille Barros
    Silveira, Giordani Santos
    Mucha, Jose Nelson
    AMERICAN JOURNAL OF ORTHODONTICS AND DENTOFACIAL ORTHOPEDICS, 2019, 155 (06) : 871 - 880
  • [26] Proving Quicksort Correct in Event-B
    Hallerstede, Stefan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 259 : 47 - 65
  • [27] IronFleet: Proving Practical Distributed Systems Correct
    Hawblitzel, Chris
    Howell, Jon
    Kapritsos, Manos
    Lorch, Jacob R.
    Parno, Bryan
    Roberts, Michael L.
    Setty, Srinath
    Zill, Brian
    SOSP'15: PROCEEDINGS OF THE TWENTY-FIFTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, 2015, : 1 - 17
  • [28] SOFTWARE RELIABILITY THROUGH PROVING PROGRAMS CORRECT
    LONDON, RL
    COMPUTER, 1971, 4 (01) : 44 - &
  • [29] Proving MCAPI Executions Are Correct using SMT
    Huang, Yu
    Mercer, Eric
    McCarthy, Jay
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 26 - 36
  • [30] Proving Concurrent Constraint Programming Correct, Revisited
    Olarte, Carlos
    Pimentel, Elaine
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 312 : 179 - 195
12345