PROGRAMS AS PROOFS - A SYNOPSIS

被引：11

作者：

CONSTABLE, RL

机构：

来源：

关键词：

D O I：

10.1016/0020-0190(83)90060-1

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：105 / 112

页数：8

相关论文

共 28 条

[1]

Alagic S., 1978, DESIGN WELL STRUCTUR

[2]

BATES J, 1981, TR82492 CORN U COMP

[3]

BATES JL, 1982, TR82530 CORN U DEP C

[4]

BATES JL, 1979, THESIS CORNELL U ITH

[5]

Constable R. L., 1978, PROGRAMMING LOGIC

[6]

Constable R. L., 1971, P IFIP C N HOLL, P229

[7]

CONSTABLE RL, 1982, LECTURE NOTES COMPUT, V135

[8]

CONSTABLE RL, 1982, INTENSIONAL ANAL FUN

[9]

CONSTABLE RL, 1982, LECTURE NOTES COMPUT, V131, P72

[10]

de Bruijn N. G, 1968, LECT NOTES MATH, V125, P29