Structuring

Authors:
Eric C. R. Hehner
Affiliations:
University of Toronto
Venue:
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Year:
1977

Citing 5
Cited 0

Structured Programming with go to Statements

ACM Computing Surveys (CSUR)
A genealogy of control structures

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
A Discipline of Programming

A Discipline of Programming
Programming without pointer variables

Proceedings of the 1976 conference on Data : Abstraction, definition and structure

Quantified Score

Hi-index	0.00

Visualization

Abstract

Structuring can be defined independently of what is being structured, and can be applied profitably to more than one domain. Using one mechanism to structure both values and assignments, we obtain equivalents for a variety of data and control structures. Structuring assignments is preferable to structuring control: the former is more conducive to a mathematical style of programming while the latter is more conducive to tracing.