From: snarflemike@yahoo.com (Mike Silva)
Subject: Re: Would You Fly an Airplane with a Linux-Based Control System?
Date: 24 Nov 2004 06:39:37 -0800
Date: 2004-11-24T06:39:37-08:00 [thread overview]
Message-ID: <20619edc.0411240639.48bdcc8b@posting.google.com> (raw)
In-Reply-To: 0UCrFDGa5NAr@eisner.encompasserve.org
> I recommend that Ada advocates with high blood pressure not read page 21 of
> the PDF, especially the last line. :-)
Yeah. First he points out correctly that "Program halt is
_specified_", then he assumes that in C such a halt (based on a
language-independent FP hardware trap, BTW) would not have been
specified. I guess they would just have put a RET in that trap vector
if the program had been written in C.
next prev parent reply other threads:[~2004-11-24 14:39 UTC|newest]
Thread overview: 68+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-11-22 11:44 Would You Fly an Airplane with a Linux-Based Control System? Preben Randhol
2004-11-22 13:23 ` Simon Clubley
2004-11-22 22:36 ` Brian May
2004-11-22 23:07 ` Ed Falis
2004-11-22 23:29 ` David Botton
2004-11-23 4:11 ` Alexander E. Kopilovich
2004-11-23 9:24 ` Martin Krischik
2004-11-25 18:28 ` Mike Silva
2004-11-25 20:15 ` David Botton
2004-11-26 3:11 ` Alexander E. Kopilovich
2004-11-26 10:11 ` Alex R. Mosteo
2004-11-26 11:51 ` Marius Amado Alves
2004-11-26 12:32 ` Alex R. Mosteo
2004-11-26 13:40 ` Adrien Plisson
2004-11-26 13:54 ` Marius Amado Alves
2004-11-26 22:22 ` Adrien Plisson
2004-11-27 0:24 ` Marius Amado Alves
2004-11-29 1:23 ` Georg Bauhaus
2004-12-04 18:58 ` Enrique Laso Leon
2004-12-05 1:29 ` Alexander E. Kopilovich
2004-12-05 13:50 ` Would You Fly an Airplane with a Linux-Based Control Larry Kilgallen
2004-12-06 13:20 ` Would You Fly an Airplane with a Linux-Based Control System? Simon Clubley
[not found] ` <oSFxff11_F@VB1162.spb.edu>
2004-11-26 11:40 ` Marius Amado Alves
2004-11-26 12:21 ` Jean-Pierre Rosen
2004-11-26 13:00 ` Vinzent 'Gadget' Hoefler
2004-11-26 19:25 ` Jeffrey Carter
2004-11-26 19:50 ` Marius Amado Alves
2004-11-26 22:58 ` Simon Wright
2004-11-27 20:24 ` Jeffrey Carter
2004-11-29 1:09 ` Georg Bauhaus
2004-11-29 20:06 ` Preben Randhol
2004-11-26 20:58 ` Mike Silva
2004-11-27 0:06 ` Marius Amado Alves
2004-11-27 0:55 ` Rod Haper
2004-11-27 1:31 ` Marius Amado Alves
2004-11-27 8:07 ` Martin Krischik
2004-11-27 9:16 ` Dmitry A. Kazakov
2004-11-27 9:51 ` Marius Amado Alves
2004-11-27 13:44 ` Dmitry A. Kazakov
2004-11-29 20:13 ` Preben Randhol
2004-11-27 20:31 ` Jeffrey Carter
2004-11-27 7:59 ` Martin Krischik
2004-11-27 8:24 ` Pascal Obry
2004-11-27 19:36 ` Mike Silva
2004-11-26 21:09 ` Mike Silva
2004-11-27 0:15 ` Marius Amado Alves
2004-11-27 19:41 ` Mike Silva
2004-11-27 7:47 ` Martin Krischik
2004-11-29 20:04 ` Preben Randhol
2004-11-30 3:11 ` Alexander E. Kopilovich
2004-11-30 15:20 ` Mike Silva
2004-12-01 2:51 ` Alexander E. Kopilovich
2004-11-30 13:24 ` Martin Krischik
2004-11-30 17:28 ` Preben Randhol
2004-12-01 9:27 ` Martin Krischik
2004-12-01 16:59 ` Preben Randhol
2004-12-01 18:53 ` Martin Krischik
2004-12-02 21:07 ` Preben Randhol
2004-12-05 6:52 ` Brian May
2004-11-23 12:28 ` Georg Bauhaus
2004-11-23 10:35 ` Robert Kaiser
2004-11-23 12:36 ` Martin Krischik
2004-11-23 21:16 ` Simon Wright
2004-11-23 22:09 ` Brian May
2004-11-24 6:07 ` Simon Wright
2004-11-24 14:39 ` Mike Silva [this message]
-- strict thread matches above, loose matches on Subject: below --
2004-11-29 6:33 Christoph Karl Walter Grein
2004-11-29 6:45 Christoph Karl Walter Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox