Re: Whaddaya think?

On 18/06/2024 00:44, Keith Thompson wrote:

DFS <nospam@dfs.com> writes:

On 6/17/2024 1:52 AM, Janis Papanagnou wrote:

On 17.06.2024 07:40, Tim Rentsch wrote:

Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:
>

The worst consequence of undefined behavior is having your code
appear to "work".

>
Personally I think causing a missle launch that started a
worldwide thermonuclear war would be a worse consequence.
YMMV.

I think I wouldn't code a missile control system in "C". ;-)
Janis

>
Per "Google AI Overview": "In 1987, the Department of Defense mandated
that Ada be the standard programming language for Defense computer
resources used in military command and control systems."

 Please don't post AI-based misinformation.
 The DOD Ada mandate was introduced in 1991, and effectively dropped in 1997.
 

And of course the USA DoD (I assume, when DFS failed to mention the country, he meant the USA) is only for one country.  There are a great many other countries making missile control software around the world, and I know without doubt that Ada is not mandated in all of them.
The open-source RTEMS "Real-Time Executive for Missile Systems" RTOS is written in a mix of C and Ada, and supports at least C, Ada and C++ for user code.