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 条
12345