SYNTHESIS AND STRUCTURAL-ANALYSIS OF ABSTRACT PROGRAMS

被引:10
作者
COWELL, DF [1 ]
GILLIES, DF [1 ]
KAPOSI, AA [1 ]
机构
[1] POLYTECH S BANK,LONDON SE1 0AA,ENGLAND
关键词
D O I
10.1093/comjnl/23.3.243
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:243 / 247
页数:5
相关论文
共 14 条
[1]  
ASHCROFT E, 1971, 1971 P IFIP C, V1, P250
[2]  
BALBINE GD, 1975, NATIONAL COMPUTER C, P319
[3]  
COLEMAN D, 1978, STRUCTURED PROGRAMMI, P155
[4]   GO TO STATEMENT CONSIDERED HARMFUL [J].
DIJKSTRA, EW .
COMMUNICATIONS OF THE ACM, 1968, 11 (03) :147-&
[5]  
DOWKER CH, 1977, 6TH BRIT COMB C ROYA
[6]  
Elshoff J. L., 1976, IEEE Transactions on Software Engineering, VSE-2, P113, DOI 10.1109/TSE.1976.233538
[7]  
GILLIES DF, 1978, P CISS J HOPKINS U B
[8]  
KNUTH D, 1972, INFORMATION PROCESSI, V1, P171
[9]  
Knuth D. E., 1974, Computing Surveys, V6, P261, DOI 10.1145/356635.356640
[10]   ANALYSIS OF STRUCTURED PROGRAMS [J].
KOSARAJU, SR .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 9 (03) :232-255