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
Enumeration of structured flowcharts
Journal of the ACM (JACM)
Schematic pseudocode for program constructs and its computer automation by SCHEMACODE
Communications of the ACM
When GOTO goes to, how does it get there?
ACM SIGPLAN Notices
System development methodology using LOGOS
APL '87 Proceedings of the international conference on APL: APL in transition
Pancode and boxcharts: structured programming revisited
ACM SIGPLAN Notices
Fortran programs on a personal computer
ACM SIGPLAN Fortran Forum
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
NPATH: a measure of execution path complexity and its applications
Communications of the ACM
In search of program complexity
ACM SIGPLAN Notices
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
Comments on innovative control constructs in pancode and EPN
ACM SIGPLAN Notices
Next: the elimination of Goto-patches?
ACM SIGPLAN Notices
Debugging Effort Estimation Using Software Metricsv
IEEE Transactions on Software Engineering
The flow of control notations pancode and boxcharts
ACM SIGPLAN Notices
An empirical study of the reliability of UNIX utilities
Communications of the ACM
L-one-two-three (L1:..L2:..L3:) considered harmful
APL '91 Proceedings of the international conference on APL '91
Polymorphism considered harmful
ACM SIGPLAN Notices
Comparing object-oriented and data flow models—a case study
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
HOPL-II The second ACM SIGPLAN conference on History of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Is object-oriented programming structured programming?
ACM SIGPLAN Notices
Structured APL: a proposal for block structured control flow in APL
APL '93 Proceedings of the international conference on APL
On understanding hypertext: are links essential?
ACM SIGSOFT Software Engineering Notes
Polymorphism considered harmful
ACM SIGSOFT Software Engineering Notes
Loop exits and structured programming: reopening the debate
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
C in the first course considered harmful
Communications of the ACM
Using Ada and C++ in computer science education
ACM SIGAda Ada Letters
Progress in programming languages
ACM Computing Surveys (CSUR)
Bandwagons considered harmful, or the past as prologue in curriculum change
ACM SIGCSE Bulletin
Advances in Software Engineering
Computer
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
Communications of the ACM
Mawl: A Domain-Specific Language for Form-Based Services
IEEE Transactions on Software Engineering
Some philosophic foundations for an environment for system building
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
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)
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
An object-oriented view of backtracking
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Elucidate: a tool to aid comprehension of concurrent object oriented execution
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
An Overview of Programming Practices
ACM Computing Surveys (CSUR)
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Programming Style: Examples and Counterexamples
ACM Computing Surveys (CSUR)
Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
The Psychological Study of Programming
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
A linguistic contribution to GOTO-less programming
Communications of the ACM
Communications of the ACM
Controlling the complexity of menu networks
Communications of the ACM
Improving computer program readability to aid modification
Communications of the ACM
Communications of the ACM
ACM forum: on Scientific Freedom and ACM policy
Communications of the ACM - Special issue on computer architecture
Structured programming in Cobol: an approach for application programmers
Communications of the ACM
Concurrency, objects and visualisation
ACSE '00 Proceedings of the Australasian conference on Computing education
Communications of the ACM
Communications of the ACM
Communications of the ACM
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
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 implementation of label, variables
Communications of the ACM
Technical opinion: Hello, world considered harmful
Communications of the ACM
Structured programming and FORTRAN
ACM-SE 14 Proceedings of the 14th annual Southeast regional conference
The role of data abstractions in practical programming
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Software Evolution and Software Evolution Processes
Annals of Software Engineering
Evolution in software and related areas
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
New primitive ∇ for APL-style structured control
ACM SIGAPL APL Quote Quad
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
IEEE Annals of the History of Computing
AI Magazine
AI Magazine
ACM SIGPLAN Notices
Message passing without send-receive
Future Generation Computer Systems - Parallel computing technologies (PaCT-2001)
Fundamental principles of software engineering - A journey
Journal of Systems and Software
Architectural advances of the space shuttle orbiter avionics computer system
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
IEEE Transactions on Knowledge and Data Engineering
Send-Recv Considered Harmful? Myths and Truths about Parallel Programming
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Diagrammatic Control of Diagrammatic Structure Generation
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Logic versus Magic in Critical Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
The Treewidth of Java Programs
ALENEX '02 Revised Papers from the 4th International Workshop on Algorithm Engineering and Experiments
Programming Rule Static Verification for Reliable Software
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Adaptive evolutionary information systems
Journal of Computing Sciences in Colleges
Yet another attempt to define "structured programming"
ACM SIGOPS Operating Systems Review
SAT: a programming methodology with skeletons and collective operations
Patterns and skeletons for parallel and distributed computing
A review of human factors research on programming languages and specifications
CHI '82 Proceedings of the 1982 Conference on Human Factors in Computing Systems
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
ICSE '79 Proceedings of the 4th international conference on Software engineering
Team dynamics in systems development and management
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
A place for assembler in structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
APL functions which enhance APL branching
APL '76 Proceedings of the eighth international conference on APL
Some properties of APL programs
APL '75 Proceedings of seventh international conference on APL
Analysis of structured programs
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Direct connection between Compiling Techniques and Databases courses
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
A quantitative assessment of IBM's programming productivity techniques
DAC '76 Proceedings of the 13th Design Automation Conference
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
The specification of program flow in Madcap 6
ACM '72 Proceedings of the ACM annual conference - Volume 2
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
ACM '72 Proceedings of the ACM annual conference - Volume 2
The design of a procedureless programming language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Reflections on a systems programming language
Proceedings of the SIGPLAN symposium on Languages for system implementation
Programming without pointer variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Overstructured management of software engineering
ICSE '82 Proceedings of the 6th international conference on Software engineering
Global data flow analysis by decomposition into primes
ICSE '82 Proceedings of the 6th international conference on Software engineering
Reflections on a language designed to write an operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
A data flow language for operating systems programming
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
The impact of language design on the production of reliable software
Proceedings of the international conference on Reliable software
An assessment of the programming language PASCAL
Proceedings of the international conference on Reliable software
“Software reliability in online real time environment”
Proceedings of the international conference on Reliable software
Constructing correct and efficient concurrent programs
Proceedings of the international conference on Reliable software
How to write correct programs and know it
Proceedings of the international conference on Reliable software
The effect of certain modular design principles on testability
Proceedings of the international conference on Reliable software
Status of graduate software engineering education
ACM '81 Proceedings of the ACM '81 conference
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
On the application of data abstraction facilities
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Third generation compiler design
ACM '75 Proceedings of the 1975 annual conference
On the failure to implement structured programming and other techniques
ACM '75 Proceedings of the 1975 annual conference
A method to expose the hidden structure of Fortran programs
ACM '74 Proceedings of the 1974 annual conference - Volume 1
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A structured design language for teaching programming
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
A course in effective programming
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Structured FORTRAN programming
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
An algorithm for structuring programs (Extended Abstract)
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension
IEEE Transactions on Software Engineering
Assertions: a personal perspective
Software pioneers
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
Gödel numbers: a new approach to structured programming
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Ambiguities and insecurities in Modula-2
ACM SIGPLAN Notices
Structured transfer of control
ACM SIGPLAN Notices
Verification of synthesized circuits at register transfer level with flow graphs
EURO-DAC '91 Proceedings of the conference on European design automation
QUEST: the design of a very high level, pedagogic programming language
ACM SIGPLAN Notices
Global variable considered harmful
ACM SIGPLAN Notices
Characteristics of a structured program
ACM SIGPLAN Notices
Mathematical overkill and the structure theorem
ACM SIGPLAN Notices
A structured FORTRAN translator
ACM SIGPLAN Notices
An intermediate level dynamic storage capability
ACM SIGPLAN Notices
On the use of the cyclomatic number to measure program complexity
ACM SIGPLAN Notices
The hierarchical language system
ACM SIGPLAN Notices
A reminder for language designers
ACM SIGPLAN Notices
Positional versus keyword parameter communication in programming languages
ACM SIGPLAN Notices
IF-THEN-ELSE considered harmful
ACM SIGPLAN Notices
Send-receive considered harmful: Myths and realities of message passing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Another look at the CASE statement
ACM SIGPLAN Notices
Omitted portions of paper: AL: a structured assembly language
ACM SIGPLAN Notices
AL: a structured assembly language
ACM SIGPLAN Notices
Language and compiler design to enhance reliability
ACM SIGPLAN Notices - Abstracts in programming language-related research
A system for structured programming
ACM SIGPLAN Notices - Abstracts in programming language-related research
The 'natural' set of basic control structures
ACM SIGPLAN Notices
"Structured programming" considered harmful
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
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
Bounce-and-skip: a technique for directing the flow of control in programs
ACM SIGPLAN Notices
A non-iterative situation case statement
ACM SIGPLAN Notices
Structured programming in COBOL under IBM 360/370 OS
ACM SIGPLAN Notices
Survey of existing programming aids
ACM SIGPLAN Notices
ACM SIGPLAN Notices
On layout, identifiers and semicolons in Pascal programs
ACM SIGPLAN Notices
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Advanced control flow in Java card programming
Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
ACM SIGACT News
Structured programming using processes
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Queue - Programming Languages
Dataless objects considered harmful
Communications of the ACM - Medical image modeling
C++ templates considered harmful
Journal of Computing Sciences in Colleges
Towards a catalog of aspect-oriented refactorings
Proceedings of the 4th international conference on Aspect-oriented software development
History of programming languages---II
History of programming languages---II
A model of real time control system production
ACM SIGDA Newsletter
Encyclopedia of Computer Science
Encyclopedia of Computer Science
The anatomy of a loop: a story of scope and control
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Structural Complexity of Software: An Experimental Test
IEEE Transactions on Software Engineering
Toy projects considered harmful
Communications of the ACM - Services science
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Mixing signals and modes in synchronous data-flow systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
CS1 programming language options
Journal of Computing Sciences in Colleges
Software—Practice & Experience
Architectural assistance to software debugging aids
ACM SIGARCH Computer Architecture News
Computer Networks: The International Journal of Computer and Telecommunications Networking
What business process modelers can learn from programmers
Science of Computer Programming
Analogies between linguistics and information theory: Research Articles
Journal of the American Society for Information Science and Technology
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
The translation of 'go to' programs to 'while' programs
Classics in software engineering
Classics in software engineering
Classics in software engineering
Structured programming: top-down approach
Classics in software engineering
Programming style: examples and counterexamples
Classics in software engineering
Structured programming with go to statements
Classics in software engineering
Nucleol - a minimal list processor
ACM SIGSAM Bulletin
On dynamically-scoped crosscutting mechanisms
ACM SIGPLAN Notices
Raw pointers in application classes of C++ considered harmful
ACM SIGPLAN Notices
Agile software development: a contemporary philosophical perspective
Proceedings of the 2007 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Foundations and Trends in Web Science
Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing
Programming Languages The First 25 Years
IEEE Transactions on Computers
The development of computer science: a sociocultural perspective
Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006
Record of the Project MAC conference on concurrent systems and parallel computation
A survey of literature on the teaching of introductory programming
Working group reports on ITiCSE on Innovation and technology in computer science education
Server-centric Web frameworks: An overview
ACM Computing Surveys (CSUR)
Queue - Virtualization
Usability evaluation considered harmful (some of the time)
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Scientific programming in Fortran
Scientific Programming - Fortran Programming Language and Scientific Programming: 50 Years of Mutual Growth
Instantaneous Transitions in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
A look at characterizing the design of information systems
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Goto elimination in program algebra
Science of Computer Programming
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Proceedings of the 26th annual ACM international conference on Design of communication
Automated software engineering: supporting understanding
Automated Software Engineering
On the basis for ELF: an extensible language facility
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
Systems for systems implementors: some experiences from Bliss
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
Security benchmarking using partial verification
HOTSEC'08 Proceedings of the 3rd conference on Hot topics in security
The choice of new software development methodologies for software development projects
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
A dynamic (FORTRAN) programming system
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
PDL: a tool for software design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Issues in programming language design: an overview
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Better manpower utilization using automatic restructuring
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Generalized structured programming
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
Structured D-chart: a diagrammatic methodology in structured programming
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Software engineering education: How far we've come and how far we have to go
Journal of Systems and Software
Science of Computer Programming
Unifying aspect- and object-oriented design
ACM Transactions on Software Engineering and Methodology (TOSEM)
A parser for a speech understanding system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Structured programming for virtual storage systems
IBM Systems Journal
A method of programming measurement and estimation
IBM Systems Journal
Software engineering: an emerging discipline
IBM Systems Journal
Mathematical construct for program reorganization
IBM Journal of Research and Development
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
Goto and Concurrency Introducing Safe Jumps in Esterel
Electronic Notes in Theoretical Computer Science (ENTCS)
Capstone programming courses considered harmful
Communications of the ACM
Proving a compiler correct: A simple approach
Journal of Computer and System Sciences
Translatability of flowcharts into while programs
Journal of Computer and System Sciences
Analysis of structured programs
Journal of Computer and System Sciences
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
An interview with Edsger W. Dijkstra
Communications of the ACM
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Evaluating the dynamic behaviour of Python applications
ACSC '09 Proceedings of the Thirty-Second Australasian Conference on Computer Science - Volume 91
Structured parallel programming with deterministic patterns
HotPar'10 Proceedings of the 2nd USENIX conference on Hot topics in parallelism
BLAKE: A language designed for Programming I
Education and Information Technologies
An introduction to Landin's "Getting Rid of Labels"
Higher-Order and Symbolic Computation
Journal of Systems and Software
Proceedings of the 4th India Software Engineering Conference
Identifying opaque behavioural changes
Proceedings of the 33rd International Conference on Software Engineering
Enhanced structural analysis for C code reconstruction from IR code
Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Computing: a perspective from industry
ACM Inroads
Representing defaults and negative information without negation-as-failure
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Dependable Systems
Towards a catalogue of refactorings and code smells for aspectj
Transactions on Aspect-Oriented Software Development I
Flow diagrams: rise and fall of the first software engineering notation
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
IBM-ACS: reminiscences and lessons learned from a 1960's supercomputer project
Dependable and Historic Computing
Extending PL/I for structured programming
Computer Languages
An empirical study of APL programs
Computer Languages
A model for document management
Computer Communications
A study of irreducibility in C programs
Software—Practice & Experience
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
Verification of a heat diffusion simulation written with orléans skeleton library
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Designing weakly terminating ROS systems
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
Separation logic for non-local control flow and block scope variables
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Empirical answers to fundamental software engineering problems (panel)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Fast development tools considered harmful
ACM Inroads
Mechanising turing machines and computability theory in Isabelle/HOL
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
SEC'13 Proceedings of the 22nd USENIX conference on Security
Cover sheets considered harmful
Information Services and Use - Mining the Digital Information Networks
Hi-index | 48.58 |