A GENERALIZED MATHEMATICAL-THEORY OF STRUCTURED PROGRAMMING

被引：14

作者：

FENTON, NE

WHITTY, RW

KAPOSI, AA

机构：

[1] POLYTECH S BANK,DEPT ELECT ENGN,LONDON SE1 0AA,ENGLAND

[2] UNIV OXFORD,INST MATH,OXFORD OX1 2JD,ENGLAND

来源：

关键词：

D O I：

10.1016/0304-3975(85)90040-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：145 / 171

页数：27

共 17 条

[1]

Aho A. V., 1977, PRINCIPLES COMPILER

[2]

Bloom S. L., 1979, Theoretical Computer Science, V9, P265, DOI 10.1016/0304-3975(79)90031-8

[3]

BRAMSON B, 1981, 81014 ROYAL SIGN RAD

[4] SYNTHESIS AND STRUCTURAL-ANALYSIS OF ABSTRACT PROGRAMS [J].

COWELL, DF ;

GILLIES, DF ;

KAPOSI, AA .

[5]

Elgot C. C., 1976, IEEE Transactions on Software Engineering, VSe-2, P41, DOI 10.1109/TSE.1976.233800

[6]

Elgot C. C., 1979, Theoretical Computer Science, V8, P325, DOI 10.1016/0304-3975(79)90016-1

[7]

Hecht M. S., 1972, SIAM Journal on Computing, V1, P188, DOI 10.1137/0201014

[8]

Hecht Matthew S., 1977, FLOW ANAL COMPUTER P

[9]

HOPCROFT JE, 1972, 6TH P ANN PRINC C IN

[10] ANALYSIS OF STRUCTURED PROGRAMS [J].

KOSARAJU, SR .