We studied how to write safe code in the presence of exceptions. Specifically, we studied how to guarantee that an application would be left in a stable state no matter what exception was raised or, even better, how to guarantee a complete rollback of the application state. If you haven’t read that article, I would like to encourage you to do so. It can be considered the introduction to this one.
There are many subtle issues when it comes to ensuring code correctness and robustness. In this article, we will study some of those issues, with a special emphasis on contract-based programming.
