CORRECTNESS PROOFS FOR META-IV WRITTEN CODE GENERATOR SPECIFICATIONS USING TERM REWRITING

被引：0

作者：

BUTH, B

BUTH, KH

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：406 / 433

页数：28

共 28 条

[1]

BIDOIT M, 1985, LECT NOTES COMPUT SC, V186, P246

[2]

Bjorner D., 1978, LNCS, V61

[3]

Boyer R.S., 1979, ACM MONOGRAPH SERIES

[4]

BUTH KH, 1987, 8719 I INF PRAKT MAT

[5]

DESPEYROUX J, 1986, 1986 P IEEE S LOG CO, P193

[6]

DYBJER D, 1985, LNCS, V182, P98

[7]

Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[8]

Gerhart S. L., 1980, Information Processing 80. Proceedings of the IFIP Congress 80, P343

[9] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[10]

HUET G, 1980, FORMAL LANGUAGE THEO, P349