Enumeration of structured flowcharts
Journal of the ACM (JACM)
Schematic pseudocode for program constructs and its computer automation by SCHEMACODE
Communications of the ACM
Pancode and boxcharts: structured programming revisited
ACM SIGPLAN Notices
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
Using assembly language to teach concepts in the introductory course
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
The Computational Completeness of Extended Database Query Languages
IEEE Transactions on Software Engineering
Next: the elimination of Goto-patches?
ACM SIGPLAN Notices
The flow of control notations pancode and boxcharts
ACM SIGPLAN Notices
Loop distribution with arbitrary control flow
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
The hierarchical simulation language HSL: a versatile tool for process-oriented simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A novel single instruction computer architecture
ACM SIGFORTH Newsletter
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
Automatic partitioning of a program dependence graph into parallel tasks
IBM Journal of Research and Development
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Problem specification with action machines
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
A multiparadigm approach to compiler construction
ACM SIGPLAN Notices
Interactive control restructuring
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Loop exits and structured programming: reopening the debate
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Is APL2 a good programming language?
APL '95 Proceedings of the international conference on Applied programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
Transforming Ada serving tasks into protected objects
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
The Expression of Algorithms by Charts
Journal of the ACM (JACM)
Derivation of a Path-Connectivity Matrix for Tagged Flowcharts
Journal of the ACM (JACM)
Space and Time Hierarchies for Classes of Control Structures and Data Structures
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)
A very high level language for large-grained data flow
CSC '87 Proceedings of the 15th annual conference on Computer Science
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
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)
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
Letters to the editor: go to statement considered harmful
Communications of the ACM
Letters to the editor: Language protection by trademark ill-advised
Communications of the ACM
Structured programming and FORTRAN
ACM-SE 14 Proceedings of the 14th annual Southeast regional conference
REC/SM: a semi structured programming language
ACM-SE 18 Proceedings of the 18th annual Southeast regional conference
Applications of a graph grammar for program control flow analysis
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Node listings applied to data flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Conversion of control dependence to data dependence
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dependence graphs and compiler optimizations
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented programming and design patterns
ACM SIGCSE Bulletin
The measurement of software design quality
Annals of Software Engineering
Post's Machine: A Didactic Microworld as an Introduction to Formal Programming
Education and Information Technologies
Legacy Integration-Changing Perspectives
IEEE Software
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
Some thoughts on data flow architectures
ACM SIGARCH Computer Architecture News
Architectural advances of the space shuttle orbiter avionics computer system
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Ontological Reengineering for Reuse
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Send-Recv Considered Harmful? Myths and Truths about Parallel Programming
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
A Tool to Reengineer Legacy Systems to Object-Oriented Systems
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Composition and Submachine Concepts for Sequential ASMs
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
SAT: a programming methodology with skeletons and collective operations
Patterns and skeletons for parallel and distributed computing
Integrating SHriMP with the IBM websphere studio workbench
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Did We Really Teach That?: A Glimpse of Things Students (Don't) Learn from Traditional CS1
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Teaching problem solving in an introductory computer science class
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Introducing subprograms as the first control structure in an introductory course
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Tutorial on structure charts as an algorithm design tool
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
Structure charts and program correctness proofs
ICSE '84 Proceedings of the 7th international conference on Software engineering
Team dynamics in systems development and management
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
Teaching programming to beginners
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
A place for assembler in structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
The complexity of control structures and data structures
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
APL '75 Proceedings of seventh international conference on APL
A report on the value of some advanced high level language operators on current sequential computers
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Analysis of structured programs
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Factionalism versus fraternalism in computing: A plea for the latter
SIGCSE '78 Proceedings of the ninth 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
A microinstruction sequencer and language package for structured microprogramming
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Programmer attitudes and reactions towards programming productivity techniques
SIGCPR '75 Proceedings of the thirteenth annual SIGCPR conference
Models for specification and anaysis of parallel computing systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
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
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
An introduction to the UMTA specification language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Structured model development techniques
ANSS '74 Proceedings of the 2nd symposium on Simulation of computer systems
A system for automatic software evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
How to write correct programs and know it
Proceedings of the international conference on Reliable software
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
ACM '77 Proceedings of the 1977 annual conference
Comments on the topic “programming, and its implication on programming languages”
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 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
A Formal Method to Software Integration in Reuse
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A view from the Sonnenbichl: on the historical sociology of software and system dependability
ICHC Proceedings of the international conference on History of computing: software issues
Go to statement considered harmful
Software pioneers
Application of the goal invariant to the structuring of programs
ACM SIGPLAN Notices
A report on the value of some advanced high level language operators on current sequential computers
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
A structured model of programs suitable for analysing time/storage trade-offs
ACM SIGPLAN Notices
The scope of variable concept: the key to structured programming?
ACM SIGPLAN Notices
Flowchart techniques for structured programming
ACM SIGPLAN Notices
Mathematical overkill and the structure theorem
ACM SIGPLAN Notices
An intermediate level dynamic storage capability
ACM SIGPLAN Notices
Can structured programs be efficient?
ACM SIGPLAN Notices
Structure charts a structured alternative to flowcharts
ACM SIGPLAN Notices
Send-receive considered harmful: Myths and realities of message passing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using Hammock Graphs to Structure Programs
IEEE Transactions on Software Engineering
The 'natural' set of basic control structures
ACM SIGPLAN Notices
"Structured programming" considered harmful
ACM SIGPLAN Notices
Structured programming in COBOL
ACM SIGPLAN Notices
Flow trace of a structured program
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
ACM SIGPLAN Notices - Special issue on programming language design
Comments on mathematical overkill
ACM SIGPLAN Notices
Program structure definition using binary relations
ACM SIGPLAN Notices
SAGES: system aiding the generation of engineering software
ACM SIGPLAN Notices
A survey of control structures in programming languages
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
Towards a dynamic (FORTRAN) programming system
ACM SIGPLAN Notices
The backward-directed GO TO in FORTRAN
ACM SIGPLAN Notices
A case for teaching multi-exit loops to beginning programmers
ACM SIGPLAN Notices
Teaching structured assembler programming
ACM SIGCSE Bulletin
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Use of annotated schemes for developing prototype programs
Proceedings of the workshop on Rapid prototyping
ACM SIGACT News
Cybernetics and Systems Analysis
Declarative techniques for model-driven business process integration
IBM Systems Journal
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Structured model development techniques
ACM SIGSIM Simulation Digest
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Subdomain testing of units and systems with state
Proceedings of the 2006 international symposium on Software testing and analysis
Simulation-specific characteristics and software reuse
WSC '05 Proceedings of the 37th conference on Winter simulation
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Go to statement considered harmful
Classics in software engineering
The translation of 'go to' programs to 'while' programs
Classics in software engineering
Chief programmer team management of production programming
Classics in software engineering
Classics in software engineering
Classics in software engineering
System quality through structured programming
Classics in software engineering
Structured programming: top-down approach
Classics in software engineering
Classics in software engineering
Programming style: examples and counterexamples
Classics in software engineering
Structured programming with go to statements
Classics in software engineering
Generalized structured programs and loop trees
Science of Computer Programming
ACM SIGGRAPH 2007 educators program
Programming Languages The First 25 Years
IEEE Transactions on Computers
Communications of the ACM - 50th anniversary issue: 1958 - 2008
Record of the Project MAC conference on concurrent systems and parallel computation
Minimality considerations for ordinal computers modeling constructibility
Theoretical Computer Science
Loop trees: a new theme in structured programming and discrete structures
Journal of Computing Sciences in Colleges
Compiling business processes: untangling unstructured loops in irreducible flow graphs
International Journal of Web and Grid Services
Scientific programming in Fortran
Scientific Programming - Fortran Programming Language and Scientific Programming: 50 Years of Mutual Growth
On the need for a scientific programming language
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
A rigorous approach towards test case generation
Information Sciences: an International Journal
Reversible Flowchart Languages and the Structured Reversible Program Theorem
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
The Böhm---Jacopini Theorem Is False, Propositionally
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Programming Robots in Primary Schools Deserves a Renewed Attention
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
Goto elimination in program algebra
Science of Computer Programming
Novel language syntax to enhance readability: white space, parameter sets, & control structures
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
A blueprint for higher-level fusion systems
Information Fusion
Removing backward go-to statements from Ada programs: possibilities and problems
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
System quality through structured programming
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
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
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
Experimental testing in programming languages, stylistic considerations and design techniques
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
Tools and experiments supporting a testing-based theory of component composition
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inspired software design early jackson methods to thread architectures
ACM SIGSOFT Software Engineering Notes
Towards model structuring based on flow diagram decomposition
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Chief programmer team management of production programming
IBM Systems Journal
Software engineering: an emerging discipline
IBM Systems Journal
Mathematical construct for program reorganization
IBM Journal of Research and Development
Automatic structuring of programs
IBM Journal of Research and Development
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
JVM Bytecode Verification Without Dataflow Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Sciences: an International Journal
Analysis of structured programs
Journal of Computer and System Sciences
Reversible Computation and Reversible Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Composite connectors for composing software components
SC'07 Proceedings of the 6th international conference on Software composition
A catalogue of component connectors to support development with reuse
Journal of Systems and Software
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Processing with cell assemblies
Neurocomputing
Functional programming with C++ template metaprograms
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
On structured digraphs and program testing
IEEE Transactions on Computers
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Controlled dataflow visual programming languages
Proceedings of the 2011 Visual Information Communication - International Symposium
On the evolution of unnatural language
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
A hoare calculus for the verification of synchronous languages
PLPV '12 Proceedings of the sixth workshop on Programming languages meets program verification
A framework for linking projects and project management methods
PROFES'05 Proceedings of the 6th international conference on Product Focused Software Process Improvement
Static analysis based software architecture recovery
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III
A generic architecture for data flow analysis to support reverse engineering
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Introduction and overview: the projects of methods integration
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Extending PL/I for structured programming
Computer Languages
Staple, an experimental structured programming language
Computer Languages
Structured flowcharts for multiprocessing
Computer Languages
An approach to software system behavior description
Computer Languages
Survey: A survey of state vectors
Computer Science Review
Incremental construction of component-based systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
The diagram of flow: its departure from software engineering and its return
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Parallel computation of continuous Petri nets based on hypergraph partitioning
The Journal of Supercomputing
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
DESIGN SPACE ANALYSIS IN MODEL-DRIVEN ENGINEERING
Journal of Integrated Design & Process Science
The complexity of register allocation
Discrete Applied Mathematics
| Hi-index | 48.33 |