Mathematical foundations of structured programming

[1]  Hans Hermes,et al.  Introduction to mathematical logic , 1973, Universitext.

[2]  F. T. Baker,et al.  Chief Programmer Team Management of Production Programming , 1972, IBM Syst. J..

[3]  R. A. Snowdon PEARL: an interactive system for the preparation and validation of structured programs , 1972, SIGP.

[4]  Ralph L. London Correctness of a compiler for a Lisp subset , 1972 .

[5]  Rod M. Burstall,et al.  An algebraic description of programs with assertions, verification and simulation , 1972, Proving Assertions About Programs.

[6]  C B Jones Formal development of correct algorithms: An example based on earley's recogniser , 1972 .

[7]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[8]  Zohar Manna,et al.  The Translation of 'Go To' Programs to 'While' Programs , 1971, IFIP Congress.

[9]  James C. King,et al.  A Program Verifier , 1971, IFIP Congress.

[10]  C. Hoare Proof of a program: FIND , 1971, CACM.

[11]  Dana S. Scott,et al.  The lattice of flow diagrams , 1971, Symposium on Semantics of Algorithmic Languages.

[12]  Ralph L. London Proving programs correct: Some techniques and examples , 1970 .

[13]  Ralph L. London Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification , 1970, CACM.

[14]  Harlan D. Mills Syntax-directed documentation for PL360 , 1970, CACM.

[15]  T. A. A. Broadbent,et al.  Evolution of Mathematical Concepts: An Elementary Study , 1970 .

[16]  Donald Irvin Good,et al.  Toward a man-machine system for proving program correctness , 1970 .

[17]  Dana S. Scott,et al.  Outline of a Mathematical Theory of Computation , 1970 .

[18]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[19]  J. N. Buxton,et al.  Software engineering techniques , 1970 .

[20]  Peter Naur,et al.  Programming by action clusters , 1969 .

[21]  J. Horning,et al.  Structuring Complex Processes , 1969 .

[22]  Edsger W. Dijkstra,et al.  A constructive approach to the problem of program correctness , 1968 .

[23]  Brian Randell,et al.  Iterative multi-level modelling. A methodology for computer system design , 1968, IFIP Congress.

[24]  Robert W. Floyd,et al.  Nondeterministic Algorithms , 1967, JACM.

[25]  P. Naur Proof of algorithms by general snapshots , 1966 .

[26]  Corrado Böhm,et al.  Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.

[27]  Howard M. Nahikian Topics in modern mathematics , 1966 .

[28]  P. J. Landin,et al.  Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[29]  John McCarthy,et al.  Towards a Mathematical Science of Computation , 1962, IFIP Congress.