The SPARC architecture manual: version 8
The SPARC architecture manual: version 8
SPARK—an annotated Ada subset for safety-critical programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
ACM SIGAda Ada Letters
Using the Ravenscar profile for space applications: the OBOSS case
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Hi-index | 0.00 |
In this short paper we argue in favour of the value of language support for exceptions. To make our case, we first spell out what we consider exceptions to be about and then discuss reasons for the timid use of them by Ada programmers so far. Finally, we present requirements for an enhanced exception model that, we expect, would increase the confidence and the take up of users.