The Honors thesis that I wrote in my senior year of college is now publicly available in the OhioLink Electronic Theses & Dissertations Center. I submitted it before graduating, but it took some time before it became available. It’s titled “Error Handling Approaches in Programming Languages.”
The link is http://rave.ohiolink.edu/etdc/view?acc_num=oberlin1654445516420205. Here’s the abstract:
Error handling is a part of nearly every computer program, but it is rarely the main focus of a program’s developers. Nevertheless, correct error handling is important because it can enable a program to recover from abnormal circumstances and continue to function and serve its purpose. Programming languages offer a variety of tools and approaches for programs to detect and handle errors. I investigated the different approaches to error handling in contemporary programming languages. I found three general paradigms of error handling approaches. One paradigm was Special Return Value, in which certain return values of a function signify that an error occurred. Another paradigm was Try-Catch, where exception objects can be raised at some point in code and intercepted and handled by guards further up in the call stack. The final paradigm was Type System Approaches, in which languages used their type system to encode possible failures and ensure proper handling of these states. Besides the three main paradigms, I found several smaller or auxiliary features, such as Defer, Checked Exceptions, and Automatically Closing Resources. In addition, I compared an error handling feature originally created as an academic proposal (Compensations) with actual implementations of a similar feature in modern languages, finding that the actual implementation is more straightforward at the cost of being somewhat less powerful.
Once again, it’s available at http://rave.ohiolink.edu/etdc/view?acc_num=oberlin1654445516420205.