An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
On the problem of communicating complex information
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Systematic Programming: An Introduction
Systematic Programming: An Introduction
Is it not time to define "structured programming"?
ACM SIGOPS Operating Systems Review
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
Global variable considered harmful
ACM SIGPLAN Notices
Teaching the fatal disease: (or) introductory computer programming using PL/I
ACM SIGPLAN Notices
A hierarchy of control structures
ACM SIGPLAN Notices
Structured programming in Cobol: an approach for application programmers
Communications of the ACM
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
A place for assembler in structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Formal module level specifications
ACM '77 Proceedings of the 1977 annual conference
A generalized approach to interpretation machines
ACM SIGPLAN Notices
On readability of programs with loops
ACM SIGPLAN Notices
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Hi-index | 0.02 |