From: smize@news.imagin.net (Samuel Mize)
Subject: Re: ada and robots
Date: 1997/06/11
Date: 1997-06-11T00:00:00+00:00 [thread overview]
Message-ID: <5nnso2$246h$1@prime.imagin.net> (raw)
In-Reply-To: dewar.866044235@merv
In article <dewar.866044235@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
>Please demonstrate with VERY SPECIFIC CODE (not some vague reference to
>libraries of device drivers) an example of the kind of portable C code
>that you are talking about -- hopefully you are talking about ANSI C
>code, or at least C code that is well defined in traditional C.
I believe the other poster is missing the point that you are subtly
making: that C code is not well-defined just because it currently works.
C is held to the standard "it compiles and runs."
Ada holds itself to higher standards of formally defined semantics.
If you just want something that happens to run today, by design or
coincidence, you can get by with C. You can use the preprocessor to
select among a huge number of platform-specific, compiler-specific,
OS-specific code fragments, then claim your code is portable.
Of course, some C is written in a very disciplined and responsible
way. We can't tar ALL C coders as careless hackers.
Sam Mize
--
Samuel Mize -- smize@imagin.net -- Team Ada
(personal net account)
next prev parent reply other threads:[~1997-06-11 0:00 UTC|newest]
Thread overview: 132+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-06-05 0:00 ada and robots Marin David Condic, 561.796.8997, M/S 731-93
1997-06-09 0:00 ` Jerry Petrey
1997-06-10 0:00 ` Alan Brain
1997-06-10 0:00 ` Joe Gwinn
1997-06-11 0:00 ` Robert Dewar
1997-06-11 0:00 ` Samuel Mize [this message]
1997-06-13 0:00 ` Erik Magnuson
1997-06-17 0:00 ` Joe Gwinn
1997-06-18 0:00 ` Jon S Anthony
1997-06-19 0:00 ` Jonathan Guthrie
1997-06-20 0:00 ` Robert Dewar
1997-06-11 0:00 ` Alan Brain
1997-06-11 0:00 ` Joe Gwinn
1997-06-11 0:00 ` Spam Hater
-- strict thread matches above, loose matches on Subject: below --
1997-07-02 0:00 Ada " Huy Vo
1997-07-04 0:00 ` Richard A. O'Keefe
1997-07-01 0:00 Huy Vo
1997-07-02 0:00 ` Wes Groleau
1997-06-30 0:00 Huy Vo
1997-07-01 0:00 ` Alan Brain
1997-07-11 0:00 ` Will Rose
1997-07-02 0:00 ` Mattias Sj�sv�rd
[not found] <867541382.23405@dejanews.com>
1997-06-29 0:00 ` John Howard
1997-06-26 0:00 Huy Vo
1997-06-27 0:00 ` Wes Groleau
1997-06-27 0:00 ` nma123
1997-06-27 0:00 ` Richard A. O'Keefe
1997-06-27 0:00 ` Alan Brain
1997-06-27 0:00 ` Wes Groleau
1997-06-27 0:00 ` Stephen Leake
1997-06-27 0:00 ` Jon S Anthony
1997-06-24 0:00 Huy Vo
1997-06-25 0:00 ` Wes Groleau
1997-06-25 0:00 ` Jon S Anthony
1997-06-25 0:00 ` Alan Brain
1997-06-25 0:00 ` Dale Stanbrough
1997-06-26 0:00 ` Ken Garlington
1997-07-01 0:00 ` Tom Moran
1997-06-20 0:00 Huy Vo
1997-06-23 0:00 ` Jon S Anthony
1997-06-19 0:00 ada " Jon S Anthony
1997-06-19 0:00 ` Brian Rogoff
1997-06-20 0:00 ` Jon S Anthony
1997-06-22 0:00 ` John G. Volan
1997-06-25 0:00 ` Richard A. O'Keefe
1997-06-23 0:00 ` Robert Dewar
1997-06-24 0:00 ` Brian Rogoff
1997-06-16 0:00 Marin David Condic, 561.796.8997, M/S 731-93
1997-06-17 0:00 ` Joe Gwinn
1997-06-18 0:00 ` Jon S Anthony
1997-06-18 0:00 ` Brian Rogoff
1997-06-20 0:00 ` Robert Dewar
1997-06-23 0:00 ` Geert Bosch
1997-07-02 0:00 ` Robert Dewar
1997-06-23 0:00 ` Richard Kenner
1997-06-23 0:00 ` Robert Dewar
1997-06-25 0:00 ` Will Rose
1997-06-25 0:00 ` Jonathan Guthrie
1997-06-21 0:00 ` Nick Roberts
1997-06-16 0:00 Marin David Condic, 561.796.8997, M/S 731-93
1997-06-12 0:00 Marin David Condic, 561.796.8997, M/S 731-93
1997-06-09 0:00 Marin David Condic, 561.796.8997, M/S 731-93
1997-06-05 0:00 Marin David Condic, 561.796.8997, M/S 731-93
1997-05-28 0:00 John Bohn
1997-05-29 0:00 ` Michael F Brenner
1997-05-29 0:00 ` Stephen Leake
1997-05-30 0:00 ` John Cook
1997-05-30 0:00 ` Tom Moran
1997-06-01 0:00 ` Dale Stanbrough
1997-06-02 0:00 ` John G. Volan
[not found] ` <5mv984$7kn@news.emi.com>
1997-06-03 0:00 ` Martin A. Stembel
1997-06-03 0:00 ` Joe Gwinn
1997-06-04 0:00 ` John G. Volan
1997-06-05 0:00 ` Joe Gwinn
1997-06-14 0:00 ` Robert Dewar
1997-06-17 0:00 ` Joe Gwinn
1997-07-03 0:00 ` Shmuel (Seymour J.) Metz
[not found] ` <9706052229.AA29554@jaguar.nmc.ed.ray.com>
1997-06-06 0:00 ` John G. Volan
1997-06-07 0:00 ` RC
1997-06-09 0:00 ` Joe Gwinn
1997-06-04 0:00 ` Pat Rogers
1997-06-05 0:00 ` Joe Gwinn
1997-06-14 0:00 ` Robert Dewar
1997-06-16 0:00 ` Ken Garlington
1997-06-16 0:00 ` Robert Dewar
1997-06-17 0:00 ` Joe Gwinn
1997-06-28 0:00 ` Mike Stark
1997-07-03 0:00 ` Joe Gwinn
1997-06-05 0:00 ` Jon S Anthony
1997-06-05 0:00 ` Joe Gwinn
1997-06-14 0:00 ` Robert Dewar
1997-06-10 0:00 ` Robert Dewar
1997-06-10 0:00 ` Joe Gwinn
1997-06-11 0:00 ` Robert Dewar
1997-06-12 0:00 ` George Haddad
1997-06-16 0:00 ` Matthew S. Whiting
1997-06-17 0:00 ` Jon S Anthony
1997-06-17 0:00 ` Matthew S. Whiting
1997-06-18 0:00 ` Samuel Mize
1997-06-18 0:00 ` Matthew S. Whiting
1997-06-18 0:00 ` Jon S Anthony
1997-06-22 0:00 ` John G. Volan
1997-06-18 0:00 ` Robert A Duff
1997-06-17 0:00 ` Samuel Mize
1997-06-18 0:00 ` Steve O'Neill
1997-06-19 0:00 ` Anonymous
1997-06-19 0:00 ` Kenneth W. Sodemann
1997-06-20 0:00 ` Stephen Leake
1997-06-20 0:00 ` Robert Dewar
1997-06-17 0:00 ` Stephen Leake
1997-06-17 0:00 ` Robert A Duff
1997-06-20 0:00 ` jim granville
1997-06-21 0:00 ` Robert Dewar
1997-06-29 0:00 ` Matthew Heaney
1997-07-03 0:00 ` Shmuel (Seymour J.) Metz
1997-07-13 0:00 ` Robert Dewar
1997-06-17 0:00 ` Robert A Duff
1997-06-18 0:00 ` Ken Garlington
1997-07-17 0:00 ` Shmuel (Seymour J.) Metz
1997-06-20 0:00 ` Robert Dewar
1997-06-20 0:00 ` Adam Beneschan
1997-06-17 0:00 ` Robert Dewar
1997-06-04 0:00 ` RC
1997-06-04 0:00 ` John G. Volan
1997-06-04 0:00 ` Larry Kilgallen
1997-06-05 0:00 ` Jon S Anthony
1997-06-02 0:00 ` Nick Roberts
1997-06-04 0:00 ` Jan Galkowski
1997-06-05 0:00 ` Albert K. Lee
1997-06-06 0:00 ` dana
1997-06-07 0:00 ` John G. Volan
1997-06-10 0:00 ` dana
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox