PL360, a Programming Language for the 360 Computers
Journal of the ACM (JACM)
The Expression of Algorithms by Charts
Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Programming Style: Examples and Counterexamples
ACM Computing Surveys (CSUR)
A genealogy of control structures
Communications of the ACM
Fixpoint approach to the theory of computation
Communications of the ACM
Communications of the ACM
Multiple exits from a loop without the GOTO
Communications of the ACM
On the capabilities of while, repeat, and exit statements
Communications of the ACM
Communications of the ACM
Experiment with an automatic theorem-prover having partial ordering inference rules
Communications of the ACM
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
An axiomatic basis for computer programming
Communications of the ACM
Letters to the editor: The go to statement reconsidered
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
Communications of the ACM
The arrogant programmer: Dijkstra and Wegner considered harmful
ACM SIGCSE Bulletin
The Psychology of Computer Programming
The Psychology of Computer Programming
Algorithms + Data Structures = Programs
Algorithms + Data Structures = Programs
A Simplified Guide to Structured COBOL Programming
A Simplified Guide to Structured COBOL Programming
Operating system principles
Systematic Programming: An Introduction
Systematic Programming: An Introduction
A Discipline of Programming
PASCAL user manual and report
Problem Solving and Structured Programming in FORTRAN
Problem Solving and Structured Programming in FORTRAN
Structured COBOL
Introduction to Computer Programming Structured COBOL
Introduction to Computer Programming Structured COBOL
Elements of Programming Style
A control statement for natural top-down structured programming
Programming Symposium, Proceedings Colloque sur la Programmation
Reflections on a systems programming language
Proceedings of the SIGPLAN symposium on Languages for system implementation
Structured programming in a production programming environment
Proceedings of the international conference on Reliable software
How to write correct programs and know it
Proceedings of the international conference on Reliable software
Correctness concerns and, among other things, why they are resented
Proceedings of the international conference on Reliable software
What should we teach in an introductory programming course?
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
ALGOL W reference manual
ACM SIGPLAN Notices
Flowchart techniques for structured programming
ACM SIGPLAN Notices
IF-THEN-ELSE considered harmful
ACM SIGPLAN Notices
AL: a structured assembly language
ACM SIGPLAN Notices
The 'natural' set of basic control structures
ACM SIGPLAN Notices
"Structured programming" considered harmful
ACM SIGPLAN Notices
Structured programming in COBOL
ACM SIGPLAN Notices
On extending Fortran control structures to facilitate structured programming
ACM SIGPLAN Notices
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Structured programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |