comp.lang.ada
 help / color / mirror / Atom feed
From: "Robert I. Eachus" <rieachus@comcast.net>
Subject: Re: End of "discussion" (was Re: Ada used in General Aviation (GA) applications?)
Date: Thu, 13 May 2004 11:14:46 -0400
Date: 2004-05-13T11:14:46-04:00	[thread overview]
Message-ID: <nrGdnbitn5p7DT7dRVn-gw@comcast.com> (raw)
In-Reply-To: <Xns94E86AF41523ABerndSpechtgmxcom@151.189.20.10>

Bernd Specht wrote:

> There is a bigg problem: Most Ada-advocats are too conceived. Look at this 
> thread, I said I would give Ada a chance if there were a version for our 
> processors. What was the reply? "You are stupid if you don't switch over", 
> "You don't do your job well if you work with C" ... (bla bla).
> This really doesn't help.

Hmmm.  Maybe I saw the answers differently.  Apparently there is an Ada 
compiler for the HC11, and you can get a SPARK toolchain for any 
embedded controller.

If I were given the choice to code in SPARK and doing my debugging 
during compilation, or spending lots of time with in-circut emulators I 
wouldn't have to think about the choice at all.  Sorry you see the 
picture differently.

-- 

                                           Robert I. Eachus

"The terrorist enemy holds no territory, defends no population, is 
unconstrained by rules of warfare, and respects no law of morality. Such 
an enemy cannot be deterred, contained, appeased or negotiated with. It 
can only be destroyed--and that, ladies and gentlemen, is the business 
at hand."  -- Dick Cheney




  reply	other threads:[~2004-05-13 15:14 UTC|newest]

Thread overview: 107+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-05-10  9:17 Ada used in General Aviation (GA) applications? Kai Glaesner
2004-05-10 11:39 ` Marin David Condic
2004-05-10 17:59   ` Jeffrey Carter
2004-05-11 11:38     ` Marin David Condic
2004-05-10 18:28   ` Bernd Specht
2004-05-10 20:10     ` Martin Dowie
2004-05-11  7:37       ` Dmitry A. Kazakov
2004-05-11  9:45         ` Bernd Specht
2004-05-11  9:52       ` Bernd Specht
2004-05-11 11:50         ` Marin David Condic
2004-05-12  0:07           ` Richard  Riehle
2004-05-12 12:21             ` Marin David Condic
2004-05-12 15:36             ` Robert C. Leif
2004-05-11 19:34         ` Bernd Trog
2004-05-11 20:46           ` Bernd Specht
2004-05-12 17:09             ` Mike Silva
2004-05-12 18:51               ` Bernd Specht
2004-05-13  5:50                 ` Pascal Obry
2004-05-13  7:21                 ` Vinzent 'Gadget' Hoefler
2004-05-13  8:10                   ` Bernd Specht
2004-05-13  8:57                     ` Vinzent 'Gadget' Hoefler
2004-05-13  9:27                     ` Ludovic Brenta
2004-05-13 11:46                     ` Marin David Condic
2004-05-13 19:20                       ` Randy Brukardt
2004-05-13 21:00                         ` tmoran
2004-05-13 23:41                         ` Alexander E. Kopilovich
2004-05-14  6:44                         ` Anders Wirzenius
2004-05-14 13:54                           ` Andersen Jacob Sparre
2004-05-17  5:27                             ` Anders Wirzenius
2004-05-17 11:53                             ` Marin David Condic
2004-05-14 22:31                           ` Ludovic Brenta
2004-05-15  9:05                             ` Jacob Sparre Andersen
2004-05-15 11:46                               ` Ludovic Brenta
2004-05-16 16:48                               ` Jeffrey Carter
2004-05-17  6:35                                 ` Time to market, was: " Anders Wirzenius
2004-05-17 12:17                                 ` Marin David Condic
2004-05-18  1:05                                   ` Jeffrey Carter
2004-05-18  7:58                                     ` Peter Amey
     [not found]                                     ` <40A9EFFC.7090708@noplace.com>
2004-05-19  0:45                                       ` Jeffrey Carter
2004-05-17 12:04                               ` Marin David Condic
2004-05-17  6:09                             ` Anders Wirzenius
2004-05-18  4:45                               ` Simon Wright
2004-05-17 11:58                             ` Marin David Condic
2004-05-17  6:15                           ` Martin Krischik
2004-05-17 11:48                         ` Marin David Condic
2004-05-13 16:45                     ` Pascal Obry
2004-05-13 17:05                       ` Lutz Donnerhacke
2004-05-13 20:59                         ` Bartłomiej Świercz
2004-05-13 21:06                         ` Pascal Obry
2004-05-14  1:07                           ` Alexander E. Kopilovich
2004-05-13 22:37                         ` Alexander E. Kopilovich
2004-05-14  6:41                         ` Ole-Hjalmar Kristensen
2004-05-13 19:30                     ` Bernd Trog
2004-05-13 16:17                   ` Mike Silva
2004-05-11 20:15         ` Martin Dowie
2004-05-12 12:30           ` Marin David Condic
2004-05-13  7:55             ` Dmitry A. Kazakov
2004-05-13 12:01               ` Marin David Condic
2004-05-13 13:22                 ` Dmitry A. Kazakov
2004-05-17 12:25                   ` Marin David Condic
2004-05-17 13:11                     ` Dmitry A. Kazakov
2004-05-13 19:29                 ` Randy Brukardt
2004-05-14 10:45                   ` Kai Glaesner
2004-05-14 22:35                     ` Ludovic Brenta
2004-05-17 12:26                   ` Marin David Condic
2004-05-17 19:29                     ` Randy Brukardt
2004-05-18  1:09                       ` Jeffrey Carter
     [not found]                         ` <40A9F260.9080300@noplace.com>
2004-05-19  0:50                           ` Jeffrey Carter
2004-05-19  1:34                             ` Marin David Condic
2004-06-06  9:48                         ` I R T
2004-05-18  4:50                       ` Simon Wright
     [not found]                         ` <40A9F38C.9080003@noplace.com>
2004-05-18 21:05                           ` Simon Wright
2004-06-06  9:51                             ` I R T
2004-05-18 12:05                       ` Marin David Condic
2004-05-19 17:17                         ` Randy Brukardt
2004-05-19 22:21                           ` Marin David Condic
2004-05-20 19:10                           ` Georg Bauhaus
2004-05-21 11:39                             ` Marin David Condic
2004-05-19 22:42                         ` Jeff C,
2004-05-20 11:36                           ` Marin David Condic
2004-05-21  1:46                             ` Jeff C,
2004-05-21  5:46                               ` Richard  Riehle
2004-05-21  5:44                             ` Simon Wright
2004-06-06 10:01                               ` I R T
2004-05-12  2:32         ` Steve
2004-05-12 12:34           ` Marin David Condic
2004-05-13  6:21         ` Richard  Riehle
2004-05-13  8:30           ` End of "discussion" (was Re: Ada used in General Aviation (GA) applications?) Bernd Specht
2004-05-13 15:14             ` Robert I. Eachus [this message]
2004-05-13 12:09           ` Ada used in General Aviation (GA) applications? Marin David Condic
2004-05-13 14:58           ` Martin Dowie
2004-05-13 20:37             ` Symbian OS (was: Re: Ada used in General Aviation (GA) applications?) Alexander E. Kopilovich
2004-05-11 11:41     ` Ada used in General Aviation (GA) applications? Marin David Condic
2004-05-11 17:28       ` Bernd Specht
2004-05-12 12:42         ` Marin David Condic
2004-05-13  8:00           ` Dmitry A. Kazakov
2004-05-12 10:01     ` Peter Amey
2004-05-12 12:50       ` Marin David Condic
2004-05-12 14:45         ` Georg Bauhaus
2004-05-13  7:43         ` Peter Amey
2004-05-13 12:17           ` Marin David Condic
2004-05-12 17:13       ` Mike Silva
2004-05-10 21:31 ` Ludovic Brenta
2004-05-11 11:29   ` Martin Dowie
2004-05-11 20:12     ` Martin Dowie
2004-05-11 14:29   ` Britt Snodgrass
2004-06-06  9:30 ` I R T
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox