Roy Levin
Thesis Title:
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