PROVING CORRECTNESS OF MICROPROGRAMS

被引：7

作者：

BIRMAN, A ^{[1
]}

机构：

[1] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598

来源：

关键词：

D O I：

10.1147/rd.183.0250

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：250 / 266

页数：17

共 19 条

[1]

AHO AV, 1972, SIAM J COMPUTING, V1

[2]

BELL CG, 1971, COMPUTER STRUCTURES

[3]

BIRMAN A, 1973, 4193 IBM THOM J WATS

ELGOT, CC ;

ROBINSON, A .

[5] A FORMAL DESCRIPTION OF SYSTEM-360 [J].

FALKOFF, AD ;

IVERSON, KE ;

SUSSENGUTH, EH .

[6]

FLOYD R, 1967, P S APPLIED MATH, V19

[7]

GEAR CW, 1969, COMPUTER ORGANIZATIO

[8]

GILMORE P, 1963, COMPUTER PROGRAMMING

[9]

HARALSON K, 1972, 4 P INT APL US C

[10]

Iverson K. E., 1962, PROGRAMMING LANGUAGE