ACM Computing Surveys (CSUR)
The new math of computer programming
Communications of the ACM
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
An axiomatic basis for computer programming
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
Structured programming
How to measure software reliability, and how not to
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A place for assembler in structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Teaching data abstraction to the practicing programmer: A case study
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
General purpose tools for system simulation
ANSS '78 Proceedings of the 11th annual symposium on Simulation
70's programming style for a developing country programming
ACM '79 Proceedings of the 1979 annual conference
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Some experience with DAVE: a Fortran program analyzer
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Dependable and Historic Computing
Software development for reliable software systems
Journal of Systems and Software
Hi-index | 0.00 |
There is no foolproof way to ever know that you have found the last error in a program. So the best way to acquire confidence that a program has no errors is never to find the first one, no matter how much it is tested and used. It is an old myth that programming must be an error-prone, cut-and-try process of frustration and anxiety. The new reality is that you can learn to consistently write programs which are error free in their debugging and subsequent use. This new reality is founded in the ideas of structured programming and program correctness, which not only provide a systematic approach to programming but also motivate a high degree of concentration and precision in the coding subprocess.