LAWS OF PROGRAMMING

被引：192
作者：
HOARE, CAR
HAYES, IJ
JIFENG, HE
MORGAN, CC
ROSCOE, AW
SANDERS, JW
SORENSEN, IH
SPIVEY, JM
SUFRIN, BA
机构：
[1] UNIV OXFORD,COMP LAB,OXFORD,ENGLAND
[2] UNIV QUEENSLAND,ST LUCIA,QLD 4067,AUSTRALIA
[3] UNIV OXFORD ORIEL COLL,OXFORD OX1 4EW,ENGLAND
[4] E CHINA NORMAL UNIV,COMP SCI,SHANGHAI,PEOPLES R CHINA
来源：
COMMUNICATIONS OF THE ACM | 1987年 / 30卷 / 08期
关键词：
D O I：
10.1145/27651.27653
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：672 / 686
页数：15
相关论文
共 13 条
[1]  
BACKHOUSE RC, 1968, PROGRAM CONSTRUCTION
[2]   CAN PROGRAMMING BE LIBERATED FROM VON NEUMANN STYLE - FUNCTIONAL STYLE AND ITS ALGEBRA OF PROGRAMS [J].
BACKUS, J .
COMMUNICATIONS OF THE ACM, 1978, 21 (08) :613-641
[3]  
DEBAKKER JW, 1980, MATH THEORY PROGRAM
[4]  
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[5]  
Gries David, 1981, SCI PROGRAMMING
[6]   PREDICATIVE PROGRAMMING .1. [J].
HEHNER, ECR .
COMMUNICATIONS OF THE ACM, 1984, 27 (02) :134-143
[7]  
HOARE CAR, 1985, PRG44 OXF U PROGR RE
[8]  
IGARISHI S, 1968, AXIOMATIC APPROACH E
[9]  
Jones C. B, 1980, SOFTWARE DEV RIGOROU
[10]  
ROSCOE AW, 1986, PRG53 OXF U PROGR RE
12