Green:Design and Use of PLs Clarifying the psychological processes of using programming languages will, I believe, clarify the requirements of language design and of environmental support Some examples of structured programming hypotheses Control structures should be hierarchical. Thus they should be nested, rather than allowed to have arbitrary branching In this way, successive layers of detail can be added The comprehensibility of hierarchically constructed programs will be easier, since they can be understoof by a reverse process-understand the outer layer, then the inner layers, etc inter-relations between parts will be simple use the These programs will be easy to modify bec Have accepted these hypotheses but have never been validatedc Copyright Nancy Leveson, Sept. 1999 Green: Design and Use of PLs "Clarifying the psychological processes of using programming languages will, I believe, clarify the requirements of language design and of environmental support." Some examples of structured programming hypotheses: Control structures should be hierarchical. Thus they should be nested, rather than allowed to have arbitrary branching. In this way, successive layers of detail can be added. The comprehensibility of hierarchically constructed programs will be easier, since they can be understoof by a reverse process -- understand the outer layer, then the inner layers, etc. These programs will be easy to modify because the inter-relations between parts will be simple. Have accepted these hypotheses but have never been validated. �