| Title: | Languages |
| Notice: | Speaking In Tongues |
| Moderator: | TLE::TOKLAS::FELDMAN |
| Created: | Sat Jan 25 1986 |
| Last Modified: | Wed May 21 1997 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 394 |
| Total number of notes: | 2683 |
Recently, I spoke with someone who works for a defense contractor who said that ADA wasn't being used for missle software because "the compler's so complcated that they can't verify that the code is correct." They use assembler instead. This reminds me of a quote from, I believe, a 1960's Datamation article by Dan McCracken. Discussing "Safeguard" -- an early missle defense system -- he said "based on your experience with large real-time computer systems, would you trust one to explode a hydrogen bomb 50 miles above your head?" Martin.
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 59.1 | BABEL::BLICKSTEIN | Thu Feb 28 1985 16:51 | 5 | ||
While there may be reason to be cautious about using ada, using assembler may be more easily verifiable than ada or any other HLL, but it has been demonstrated in many studies that it is signficanly more error-prone. db | |||||
| 59.2 | RAJA::MERRILL | Fri Mar 08 1985 09:48 | 1 | ||
"IT" is not more error prone - the people using it are. | |||||
| 59.3 | TURTLE::GILBERT | Fri Mar 08 1985 16:54 | 1 | ||
I assumed "it" referred to the use of assembly language ("using assembler").
| |||||