Failboxes

We are investigating programming constructs for making it easier to deliver programs that provably preserve the program's intended safety properties in the presence of unchecked exceptions (including exceptions caused by internal problems in the virtual machine, which may occur at any program point). This web page is about work done on one such mechanism, which we call failboxes.