Roy Levin

Program Structures for Exceptional Condition Handling Degree Type: Ph.D. in Computer Science
Advisor(s): William Wulf
Graduated: May 1977

Abstract:

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.

Thesis Committee:
William Wulf (Chair)

Joseph Traub, Head, Computer Science Department