Data-oriented exception handling in Ada | IEEE Conference Publication | IEEE Xplore