The new math of computer programming
Communications of the ACM
The Science of Programming
A Discipline of Programming
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Discrete Mathematics in Computer Science
Discrete Mathematics in Computer Science
A study of computer program structure.
A study of computer program structure.
Code selection through object code optimization
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
A generalized iterative construct and its semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial order programming (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Effect of Data Abstraction on Loop Programming Techniques
IEEE Transactions on Software Engineering
The flow of control notations pancode and boxcharts
ACM SIGPLAN Notices
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards a formal semantics of Parnas tables
Proceedings of the 17th international conference on Software engineering
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Communications of the ACM
Predicative programming Part I
Communications of the ACM
Communications of the ACM
Java Program Verification via a Hoare Logic with Abrupt Termination
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Some thoughts arising from a language design effort
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Acta Cybernetica
Science of Computer Programming
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Document based rational software development
Knowledge-Based Systems
On the structure of demonic refinement algebras with enabledness and termination
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
An experimental assessment of module documentation-based testing
Information and Software Technology
WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Extended designs algebraically
Science of Computer Programming
Linking Unifying Theories of Program refinement
Science of Computer Programming
Hi-index | 48.27 |
A new programming language control structure as well as an improved approach to a formal definition of programming languages are presented. The control structure can replace both iteration and conditional structures. Because it is a semantic generalization of those structures, a single statement using the new control structure can implement the functions of loops, conditionals, and also programs that would require several conventional constructs. As a consequence of this increased capability, it is possible to write algorithms that are simpler, more efficient, and more clearly correct than those that can be written with earlier structured-programming control structures. In order to provide a precise definition of the new constructs, a new version of relational semantics, called LD-relations is presented. An algebra of these relations is developed and used to define the meaning of the new constructs. A short discussion of program development and the history of control structures is included.