The Expression of Algorithms by Charts
Journal of the ACM (JACM)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
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
Program development by stepwise refinement
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
The Elements of Programming Style
The Elements of Programming Style
ACM '73 Proceedings of the ACM annual conference
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
The translation of ''go to'' programs to ''while'' programs
The translation of ''go to'' programs to ''while'' programs
ACM SIGPLAN Notices
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
SWSL: A Synthetic Workload Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Loop exits and structured programming: reopening the debate
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Problems with software complexity measurement
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
A Comparison of Multilevel break and next Statements
Journal of the ACM (JACM)
Jump Minimization in Linear Time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Cognitive strategies and looping constructs: an empirical study
Communications of the ACM
On the emulation of flowcharts by decision tables
Communications of the ACM
Communications of the ACM
Syntactic source to source transforms and program manipulation
Communications of the ACM
Communications of the ACM
Teaching good programming techniques
ACM SIGCSE Bulletin
Monoids for rapid data flow analysis
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of high level control flow
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Optimal code for control structures
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Direct architectural implementation of a requirements-oriented computing structure
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
Control structure aptness: A case study using top-down parsing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Design objectives for high level microprogramming languages
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Tab, a Program Design Language for the classroom
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Is Pascal a logical subset of Algol68 or not? Part One
Proceedings of the Strathclyde ALGOL 68 conference
Introducing a Software Design Language
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Global data flow analysis by decomposition into primes
ICSE '82 Proceedings of the 6th international conference on Software engineering
The Honeywell Modular Microprogram Machine: M3
ISCA '77 Proceedings of the 4th annual symposium on Computer architecture
Application of the goal invariant to the structuring of programs
ACM SIGPLAN Notices
SP-Grammars: context-free grammars for structured programming
ACM SIGPLAN Notices
What is a flowchart loop and about structured programming
ACM SIGPLAN Notices
On the use of the cyclomatic number to measure program complexity
ACM SIGPLAN Notices
On control constructs for constructing programs
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A reminder for language designers
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
ACM SIGACT News
Goto elimination in program algebra
Science of Computer Programming
A modern beginning programming course
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
A dynamic (FORTRAN) programming system
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Coverage criteria for state based specifications
Formal methods and testing
SESPOOL, a language for systems programming
Computer Languages
Hi-index | 48.30 |
The issue of program control structures has had a history of heated controversy. To put this issue on a solid footing, this paper reviews numerous theoretical results on control structures and explores their practical implications.The classic result of Böhm and Jacopini on the theoretical completeness of if-then-else and while-do is discussed. Several recent ideas on control structures are then explored. These include a review of various other control structures, results on time/space limitations, and theorems relating the relative power of control structures under several notions of equivalence.In conclusion, the impact of theoretical results on the practicing programmer and the importance of one-in, one-out control structures as operational abstractions are discussed. It is argued further that there is insufficient evidence to warrant more than if-then-else, while-do, and their variants.