On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Program development by stepwise refinement
Communications of the ACM
Structured control in programming languages
ACM SIGPLAN Notices - Special issue on programming language design
Data types and program correctness
ACM SIGPLAN Notices - Special issue on programming language design
Extensibility in programming language design
ACM SIGPLAN Notices - Special issue on programming language design
Motivation for extensible languages
ACM SIGPLAN Notices
Chapter I: Notes on structured programming
Structured programming
Hi-index | 0.00 |
Very high level languages are being developed to serve as a tool in the production of reliable software. One of the features of such languages is the ability programmers have of defining new data types. In this paper we define one such type, the domain, which, when coupled with a generalized FOR statement, can be a valuable aid to programming in high levels of abstraction. An application of generalized FOR statements in relational sublanguages is presented.