cha@cf4.UCI.EDU (Sung Deok Cha) (05/14/87)
We are making up a list of features of the Ada language which may be
prone to faults when they are used. For example, an abort may
interrupt a task while it is updating a global variable; this may
contribute to a particular failure of a program. We are only
considering features of the language as described in the Language
Reference Manual, and we are assuming that the language implementation
provides all of the functionality guaranteed by the LRM. We would
appreciate it if people would point out features of Ada which they have
found to be fault-prone, or which have caused them problems in the
past. Examples (program listing or discussion) would also be welcome.
Please send responses to this message directly to me; if there is
sufficient interest, I will post a summary to the list.
S. D. Cha
ARPA: cha@ics.uci.edu
UUCP: ucbvax!ucivax!cha
BITNET:cha%ics@ucicp6.BITNET
USMail: S. D. Cha, ICS Department, University of California, Irvine,
Irvine, CA 92717