PL/I structured programming
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
A structured approach to programming
A structured approach to programming
Managing the structured techniques: 4th edition
Managing the structured techniques: 4th edition
The Expression of Algorithms by Charts
Journal of the ACM (JACM)
An Algorithm for Structuring Flowgraphs
Journal of the ACM (JACM)
A Comparison of Multilevel break and next Statements
Journal of the ACM (JACM)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Communications of the ACM
Structured programming in Cobol: an approach for application programmers
Communications of the ACM
The new math of computer programming
Communications of the ACM
A genealogy of control structures
Communications of the ACM
On the capabilities of while, repeat, and exit statements
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
Böhm and Jacopini's reduction of flow charts
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Techniques of Program Structure and Design
Techniques of Program Structure and Design
Theory of Program Structures: Schemes, Semantics, Verification
Theory of Program Structures: Schemes, Semantics, Verification
Composite Structure Design
A Guide for Programmers
The Structure and Design of Programming Languages
The Structure and Design of Programming Languages
Simple Program Schemes and Formal Languages
Simple Program Schemes and Formal Languages
Principles of Software Engineering and Design
Principles of Software Engineering and Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Introduction to the Design and Analysis of Algorithms
Introduction to the Design and Analysis of Algorithms
Theory of Computation
Degrees of translatability and canonical forms in program schemas: Part I
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
ACM '73 Proceedings of the ACM annual conference
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
ACM '72 Proceedings of the ACM annual conference - Volume 2
Structured programming and automatic program synthesis
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Two misconceptions about structured programming
ACM '75 Proceedings of the 1975 annual conference
Synchronous parallel computation.
Synchronous parallel computation.
A logic for correct program development
A logic for correct program development
Flowchart techniques for structured programming
ACM SIGPLAN Notices
Mathematical overkill and the structure theorem
ACM SIGPLAN Notices
What is a flowchart loop and about structured programming
ACM SIGPLAN Notices
The 'natural' set of basic control structures
ACM SIGPLAN Notices
Comments on mathematical overkill
ACM SIGPLAN Notices
Reliable software through composite design
Reliable software through composite design
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
ACM SIGPLAN Notices
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
win and sin: predicate transformers for concurrency
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interactive control restructuring
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
ACM Transactions on Programming Languages and Systems (TOPLAS)
How to Make Zuse's Z3 a Universal Computer
IEEE Annals of the History of Computing
Communications of the ACM
Communications of the ACM
Conversion of control dependence to data dependence
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applicative programming and digital design
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Cybernetics and Systems Analysis
Goto elimination in program algebra
Science of Computer Programming
A While Program Normal Form Theorem in Total Correctness
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Control flow emulation on tiled SIMD architectures
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Automatic analysis of DMA races using model checking and k-induction
Formal Methods in System Design
Computing as a Science: A Survey of Competing Viewpoints
Minds and Machines
Journal of Functional Programming - Dedicated to ICFP 2009
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
A petri net perspective on the resource allocation problem in software engineering
Transactions on Petri Nets and Other Models of Concurrency V
Lean programs, branch mispredictions, and sorting
FUN'12 Proceedings of the 6th international conference on Fun with Algorithms
Hi-index | 48.25 |