Roy Levin

The goal of much of the current research in the field of structured programming is to develop a methodology that materially aids in the construction of clearly understandable yet rigorously verifiable programs. No single methodology has achieved pre-eminence, but some common threads run through all the serious contenders. To achieve clarity of expression, most methodologies postulate a small number of easily-described primitive programming constructs. These constructs then become the building blocks for programs that exhibit an orderly arrangement of data and disciplined transfers of control.