Have submitted the following:

While I agree with Ken Nelson that Java represents a significant improvement
over C in this regard, you certainly won't find any Boeing 747's running
Java.  Note the following quotation from:
http://java.sun.com/products/jdk/1.2/LICENSE

"4.  High Risk Activities.  Notwithstanding Section 2, with respect to high
risk activities, the following language shall apply: the Software
is not designed or intended for use in on-line control of aircraft, air
traffic, aircraft navigation or aircraft communications; or in the
design, construction, operation or maintenance of any nuclear facility. Sun
disclaims any express or implied warranty of fitness for
such uses."

In such cases, Boeing and others who must meet FAA certification have shown
a clear preference for Ada, whose strong typing facilities promote secure
coding.  In fact, the SPARK subset of Ada allows programmer to actually have
automated proofs that software doesn't contain major categories of errors,
well beyond those mentioned in this article.

----------------------------------------------------------------------------
------
Martin C. Carlisle, PhD
Associate Professor and Advisor-in-Charge
Department of Computer Science
United States Air Force Academy


-----Original Message-----
From: Jacob Sparre Andersen [mailto:[log in to unmask]]
Sent: Monday, March 31, 2003 7:43 AM
To: [log in to unmask]
Subject: BBC on "responsible coding"


Teamers:

   http://news.bbc.co.uk/2/hi/technology/2895177.stm

Does anybody feel up to writing a comment that mentions Ada
in a sensible way?

Jacob
--
"If you think Tuck has said something that is completely
 wrong, you are almost certainly missing something :-)"