A microprogrammable architecture with quasi time-transparent structured control
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Visual specification of blocks in programming languages
ACM SIGPLAN Notices
Pancode and boxcharts: structured programming revisited
ACM SIGPLAN Notices
Box structured information systems
IBM Systems Journal
Incremental execution environment
ACM SIGPLAN Notices
Program Readability: Procedures Versus Comments
IEEE Transactions on Software Engineering
Enhancing program readability and comprehensibility with tools for program visualization
ICSE '88 Proceedings of the 10th international conference on Software engineering
A global object name space for the Intel hypercube
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Control and Definition Modularization: an Improved Software Design Technique for Organizing Programs
IEEE Transactions on Software Engineering
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
GRIN: The History of a Laboratory
IEEE Annals of the History of Computing
Automatic Test Pattern Generation with Branch Testing
IEEE Transactions on Computers
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Visualization '91 workshop report: scientific visualization environments
ACM SIGGRAPH Computer Graphics
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Is object-oriented programming structured programming?
ACM SIGPLAN Notices
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
Software testability: an experiment in measuring simulation reusability
SSR '95 Proceedings of the 1995 Symposium on Software reusability
ACM SIGSOFT Software Engineering Notes
Delegation versus concatenation or cloning is inheritance too
ACM SIGPLAN OOPS Messenger
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 18th international conference on Software engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Retrospective: a preliminary architecture for a basic data flow processor
25 years of the international symposia on Computer architecture (selected papers)
Proceedings of the 2nd Australasian conference on Computer science education
Metrics in the software engineering curriculum
Annals of Software Engineering - Special issue on software engineering education
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
Software engineerng applied to discrete event simulations
WSC '86 Proceedings of the 18th conference on Winter simulation
Intelligent support for the engineering of software (panel paper)
ICSE '85 Proceedings of the 8th international conference on Software engineering
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
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)
Continuation-Based Program Transformation Strategies
Journal of the ACM (JACM)
Teaching principles of computer programming
CSC '87 Proceedings of the 15th annual conference on Computer Science
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
The Design of the XMP Linear Programming Library
ACM Transactions on Mathematical Software (TOMS)
ACM Computing Surveys (CSUR)
Programming Style: Examples and Counterexamples
ACM Computing Surveys (CSUR)
An Approach to Program Testing
ACM Computing Surveys (CSUR)
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocess communication and processor dispatching on the Intel 432
ACM Transactions on Computer Systems (TOCS)
Visibility aspects of programmed dynamic data structures
Communications of the ACM
The structure of modular program
Communications of the ACM
An event-driven compiling technique
Communications of the ACM
Communications of the ACM
An example of hierarchical design and proof
Communications of the ACM
Communications of the ACM
Communications of the ACM
The new math of computer programming
Communications of the ACM
Two languages for estimating program efficiency
Communications of the ACM
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
An experimental course in advanced programming methods
ACM SIGCSE Bulletin
A simple example of the top-down approach to algorithm development
ACM SIGCSE Bulletin
Procedures and comments vs. the banker's algorithm
ACM SIGCSE Bulletin
Experience with teaching assembly language
ACM SIGCSE Bulletin
Code migration and program maintainability---a categorical perspective
Information Processing Letters
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
Node listings applied to data flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The architecture of concurrent programs
The architecture of concurrent programs
BGRAF2: a real-time graphics language with modular objects and implicit dynamics
SIGGRAPH '76 Proceedings of the 3rd annual conference on Computer graphics and interactive techniques
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Automated Software Engineering
Software Engineering Books for Desert Island Reading
Automated Software Engineering
IEEE Software
IEEE Software
Advantages of structured hardware
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
A distributed function computer for real-time control
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Send-Recv Considered Harmful? Myths and Truths about Parallel Programming
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Evaluation of Tamper-Resistant Software Deviating from Structured Programming Rules
ACISP '01 Proceedings of the 6th Australasian Conference on Information Security and Privacy
SCOOP, Structured Concurrent Object-Oriented Prolog
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
XML Enabled Metamodeling and Tools for Cooperative Information Systems
EC-Web 2001 Proceedings of the Second International Conference on Electronic Commerce and Web Technologies
Security for Distributed E-Service Composition
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Generic Linear Business Process Modeling
ER '00 Proceedings of the Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling: Conceptual Modeling for E-Business and the Web
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Is "structured programming" any longer the right term?
ACM SIGOPS Operating Systems Review
SAT: a programming methodology with skeletons and collective operations
Patterns and skeletons for parallel and distributed computing
Teaching problem solving in an introductory computer science class
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
On enhancing the interface to the source code of computer programs
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Software engineering applied to computer-aided design (CAD) software development
DAC '81 Proceedings of the 18th Design Automation Conference
Development of computer programs by problem analysis Diagram(PAD)
ICSE '81 Proceedings of the 5th international conference on Software engineering
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
Pragmatic techniques for program analysis and verification
ICSE '79 Proceedings of the 4th international conference on Software engineering
An experiment in software engineering: The Architecture Research Facility as a case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
Structure of an efficient duplex memory for processing fault-tolerant programs
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Automating the software design process by means of software design and documentation language
DAC '78 Proceedings of the 15th Design Automation Conference
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Symbolic interpretation and tracing of PASCAL-programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
The software engineering laboratory: Objectives
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
“The simple internal procedure as an effective tool in the teaching and practice of structured PL/I”
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
A tool designed to facilitate structured programming
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
Problem formulation for programmers
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
“Recommended mathematical topics for computer science majors”
SIGCSE '77 Proceedings of the eighth SIGCSE technical symposium on Computer science education
Computer-controlled display demonstrations of dynamic concepts in computer science
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
Function distribution in computer system architectures
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Toward a data structure extension for APL
APL '76 Proceedings of the eighth international conference on APL
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
APL '75 Proceedings of seventh international conference on APL
DAC '73 Proceedings of the 10th Design Automation Workshop
ACM '78 Proceedings of the 1978 annual conference
A programming sequence for the liberal arts college
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Structured programming concepts in an introductory COBOL course
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
A principle of algorithm design on limited problem domain
DAC '76 Proceedings of the 13th Design Automation Conference
Namespaces semipermeable membranes for APL applications
APL '81 Proceedings of the international conference on APL
Modeling and simulating data flow computations at machine language level
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
A procedure mechanism for backtrack programming
ACM '76 Proceedings of the 1976 annual conference
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
SIGSOFT tutorial on program verification (Tutorial Session)
ACM '76 Proceedings of the 1976 annual conference
Organizing computer systems for learnability and useability
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
Overview of the Hydra Operating System development
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
An open operating system for a single-user machine
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
The Roscoe distributed operating system
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
SW 2 - An object-based programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Structured programming and automatic program synthesis
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Research directions in abstract data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
ALGOL 68 and structured programming for learner-programmers
Proceedings of the Strathclyde ALGOL 68 conference
Management of a large computer network simulation project
ANSS '76 Proceedings of the 4th symposium on Simulation of computer systems
General purpose tools for system simulation
ANSS '78 Proceedings of the 11th annual symposium on Simulation
Definition and use of higher-level graphics input tools
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
A graphics-based programming-support system
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Verification of fairness in an implementation of monitors
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Towards an engineering approach to software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Some considerations in database application programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Aspects of design, test and validation of the software for a computerized reactor protection system
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the relationships among three software metrics
Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Towards the ideal programming language
Proceedings of an ACM conference on Language design for reliable software
Managing the development of reliable software
Proceedings of the international conference on Reliable software
On the problem of uniform references to data structures
Proceedings of the international conference on Reliable software
Knowledge about programs: A model and case study
Proceedings of the international conference on Reliable software
Reliable hardware-software architecture
Proceedings of the international conference on Reliable software
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
How to write correct programs and know it
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
Proving structured programs correct, level by level
Proceedings of the international conference on Reliable software
Toward a theory of test data selection
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Application of modern software techniques to modeling and simulation
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
The integration of a Problem Solving Process in the first course
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
The second course in computer programming: Some principles and consequences
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
The structure of “data structures”
ACM '81 Proceedings of the ACM '81 conference
Capsules: A data abstraction facility for Pascal
ACM '81 Proceedings of the ACM '81 conference
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
Structured data interfacing for software systems
ACM '77 Proceedings of the 1977 annual conference
The modular logic machine design system for loosely coupled systems
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
The design of usable programming languages
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
Organic program design: A programming method which mixes design and coding is espoused
ACM '75 Proceedings of the 1975 annual conference
What should we teach in an introductory programming course?
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Experiences with a simple structured programming language
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Proceedings of the software quality assurance workshop on Functional and performance issues
A first course in computer science: What it should be and why.
SIGCSE '75 Proceedings of the fifth 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
Methods for teaching program verification
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
Test data as an aid in proving program correctness
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Reactive transport in surface sediments I. Mexity and software quality
Computers & Geosciences - Special issue: Reactive transport modeling in the geosciences
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
A Formal Method to Software Integration in Reuse
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Structured data flow programming
ACM SIGPLAN Notices
DUIF: a data-driented flowchart environment
ACM SIGPLAN Notices
Containment defines a class of recursive data structures
ACM SIGPLAN Notices
Modern programming: a definition
ACM SIGPLAN Notices
Structured programming, programming teaching and the language Pascal
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Characteristics of a structured program
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A structured FORTRAN translator
ACM SIGPLAN Notices
Hierarchical design and efficient implementation in SETL: a case study
ACM SIGPLAN Notices
Two-dimensional grammars and structured programming languages
ACM SIGPLAN Notices
An intermediate level dynamic storage capability
ACM SIGPLAN Notices
Structured programming constructs for concurrency in program optimisation
ACM SIGPLAN Notices
Programming languages with hierarchical structure
ACM SIGPLAN Notices
Ordered types and a generalized for statement
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Positional versus keyword parameter communication in programming languages
ACM SIGPLAN Notices
Send-receive considered harmful: Myths and realities of message passing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Is "structured programming" any longer the right term?
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Issues in programming language design: an overview
ACM SIGPLAN Notices - Special issue on programming language design
The KAIL selector: a unified control construct
ACM SIGPLAN Notices
Experience with extensible, portable Fortran extensions
ACM SIGPLAN Notices
Survey of existing programming aids
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Summary of the characteristics of several "modern" programming languages
ACM SIGPLAN Notices
On the application of Rothon diagrams to data abstraction
ACM SIGPLAN Notices
A lecture/laboratory approach to the first course in programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A first course in computer science for graduate students
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A course in programming and practice: toward small systems
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Reflections on capital-intensive software technology
ACM SIGSOFT Software Engineering Notes
Cybernetics and Systems Analysis
ACM SIGSOFT Software Engineering Notes
Pragmatic problems with step-wise refinement program development
ACM SIGSOFT Software Engineering Notes
Notes on notes on postmodern programming: radio edit
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
A program for the analysis of speech error data
ACM SIGLASH Newsletter
Notes on notes on postmodern programming
ACM SIGPLAN Notices
Aspect language features for concern coverage profiling
Proceedings of the 4th international conference on Aspect-oriented software development
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Patterns of modelling: towards a conceptual basis for discrete event simulation
ACM SIGSIM Simulation Digest - Why an editor resigns
The social dynamics of instrumental computer use
ACM SIGSOC Bulletin
TMML: an assembler-level programming AID
ACM SIGSMALL Newsletter
Classifying product families using platform coverage and variation mechanisms
Software—Practice & Experience
Postmodern prospects for conceptual modelling
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
A novice's process of object-oriented programming
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Proceedings of the third ACM SIGPLAN conference on History of programming languages
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Programming style: examples and counterexamples
Classics in software engineering
Structured programming with go to statements
Classics in software engineering
Synthesis of parallel recursive programs in structural functional models
Programming and Computing Software
Watchdog Processors and Structural Integrity Checking
IEEE Transactions on Computers
Realization of Boolean Expressions by Atomic Digraphs
IEEE Transactions on Computers
Evolutionary functional testing
Computers and Operations Research
"Large" abstractions for software engineering
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
A proposed non-procedural programming language for structured system development
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
A look at characterizing the design of information systems
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Towards a definition of structured programming
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
The computer analysis of chest radiographs
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Reversible Flowchart Languages and the Structured Reversible Program Theorem
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Designing the design process: exploiting opportunistic thoughts
Human-Computer Interaction
First Steps towards Validating a Cost-Benefit Model of Reviews and Tests
IWSM/Metrikon/Mensura '08 Proceedings of the International Conferences on Software Process and Product Measurement
The choice of new software development methodologies for software development projects
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
A two-step approach to the validation of software engineering methodologies
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
A modern beginning programming course
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Implementation of quality control in software development
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Microcomputer software design: a checkpoint
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
On the principle of unique definition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
On being one's own programming self
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
Toward improved review of software designs
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
The design of PLAIN: support for systematic programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
The impact of Ada on software engineering
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Structured D-chart: a diagrammatic methodology in structured programming
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
John Mylopoulos: Sewing Seeds of Conceptual Modelling
Conceptual Modeling: Foundations and Applications
Structured planning and debugging
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
A digitalis therapy advisor with explanations
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Knowledge base management for experiment planning in molecular genetics
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Electrical design: a problem for artificial intelligence research
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A parser for a speech understanding system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Internetware: a shift of software paradigm
Proceedings of the First Asia-Pacific Symposium on Internetware
Implementation of an Orchestration Language as a Haskell Domain Specific Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecture prototyping in the software engineering environment
IBM Systems Journal
Quality emphasis at IBM's software engineering institute
IBM Systems Journal
Mathematical construct for program reorganization
IBM Journal of Research and Development
Automatic structuring of programs
IBM Journal of Research and Development
IBM Journal of Research and Development
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Interpretable program specification language
Programming and Computing Software
Correspondence from the members
ACM SIGPLAN Notices
A proposal for structuring Petri net-based agent interaction protocols
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
Specifications of computer programs using Hoare tree formalism
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
An introduction to chunk structure
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Semantics for structured systems modelling and simulation
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Gossamer: a lightweight programming framework for multicore machines
HotPar'10 Proceedings of the 2nd USENIX conference on Hot topics in parallelism
The relationship between search based software engineering and predictive modeling
Proceedings of the 6th International Conference on Predictive Models in Software Engineering
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Specification for reactive bulk-synchronous programming
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Real-world semantics of conceptual models
The evolution of conceptual modeling
Unifying execution of imperative and declarative code
Proceedings of the 33rd International Conference on Software Engineering
Identifying opaque behavioural changes
Proceedings of the 33rd International Conference on Software Engineering
A case for polyscopic structuring of information
TMRA'05 Proceedings of the First international conference on Charting the Topic Maps Research and Applications Landscape
SALT—structured assertion language for temporal logic
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Symbolic test case generation for primitive recursive functions
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Simplified integration of Prolog with RDBMS
ACM SIGMIS Database
Teaching: people to people - about people a plea for the historic and human view
ISSEP'05 Proceedings of the 2005 Informatics in Secondary Schools - Evolution and Perspectives international conference on From Computer Literacy to Informatics Fundamentals
Evolutionary testing techniques
SAGA'05 Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications
IBM-ACS: reminiscences and lessons learned from a 1960's supercomputer project
Dependable and Historic Computing
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Path skyline for moving objects
APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
Language design and analyzability: a retrospective
Software—Practice & Experience
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
A Methodology For Constructing Logic Programs
Fundamenta Informaticae
Realising software development as a lived experience
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
Computer Standards & Interfaces
Hi-index | 0.21 |
In recent years there has been an increasing interest in the art of computer programming, the conceptual tools available for the design of programs, and the prevention of programming oversights and error. The initial outstanding contribution to our understanding of this subject was made by E. W. Dijkstra, whose Notes on Structured Programming form the first and major section of this book. They clearly expound the reflections of a brilliant programmer on the methods which he has hitherto unconsciously applied; there can be no programmer of the present day who could not increase his skills by a study and conscious application of these principles. In the second monograph I have tried to describe how similar principles can be applied in the design of data structures. I have suggested that in analysing a problem and groping towards a solution, a programmer should take advantage of abstract concepts such as sets, sequences, and mappings; and judiciously postpone decisions on representation until he is constructing the more detailed code of the program. The monograph also describes a range of useful ideas for data representation, and suggests the criteria relevant for their selection. The third monograph provides a synthesis of the previous two, and expounds the close theoretical and practical connections between the design of data and the design of programs. It introduces useful additional methods for program and data structuring which may be unfamiliar to many programmers. The examples show that structured programming principles can be equally applied in "bottom-up" as in "top-down" program design. The original inspiration, insight, and all the examples were contributed by O.-J. Dahl; I have only assembled the material, and added some additional explanations where I found it difficult to understand.