PROGRAMS AS PROOFS - A SYNOPSIS

被引：11

作者：

CONSTABLE, RL

机构：

来源：

关键词：

D O I：

10.1016/0020-0190(83)90060-1

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：105 / 112

页数：8

共 28 条

[11]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[12]

DEBRUIJN NG, 1980, ESSAYS COMBINATORY L, P579

[13]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[14]

GOAD CA, 1980, LECTURE NOTES COMPUT, V87, P39

[15]

GORDON M, 1979, LECTURE NOTES COMPUT, V78

[16]

Gries David, 1981, SCI PROGRAMMING

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

HOARE, CAR .

[18]

HOWARD WA, 1980, ESSAYS COMBINATORY L

[19]

KLEENE SC, 1945, J SYMBOLIC LOGIC, V10, P109, DOI DOI 10.2307/2269016

[20]

MANNA Z, 1974, MATH THEORY COMPUTAT