From: robert_dewar@my-dejanews.com
Subject: Re: Ada vs C++ vs Java
Date: 1999/01/15
Date: 1999-01-15T00:00:00+00:00 [thread overview]
Message-ID: <77m9uf$6aa$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 916309035.24342.0.nnrp-09.c2decf94@news.demon.co.uk
In article
<916309035.24342.0.nnrp-09.c2decf94@news.demon.co.uk>,
forsyth@caldo.demon.co.uk wrote:
> David Frantz reads too much into the implications of an
> Ada compiler having passed the validation suite. In
> particular, it does not mean that `you can implement with
> the entire language and not have to worry about compiler
> technology catching up'.
> It is possible for compilers that produce wrong or costly
> code for many constructions to pass the validation suite.
> (For instance, one version of a widely used validated
> commercial compiler
> was found to miscompile certain Boolean expressions[!].)
> The only thing you can conclude is that the compiler
> passed the given version of the validation suite.
Yes, some people to read too much into validation, but you
read far too little!
Validation certainly does not guarantee conformance, but it
does guarantee that
(a) the compiler implements pretty much all features of the
language with no major omissions, you are not in the common
C++ state of wondering whether a given compiler does or
does not implement name spaces or exceptions or ...
(b) the test suite, constructed with many person years of
effort is remarkably comprehensive, and one thing you can
say for sure is that any implementor who passes the tests
knows Ada very well *AS DEFINED IN THE ISO STANDARD*. This
is an important criterion! Of course this does not
guarantee that the compiler is bug free, we don't know how
to do that, but it lessons the chance of major design flaws
resulting from a lack of such understanding. I have often
seen design flaws of this type in compilers for other
languages which do not have a comprehensive test suite that
is widely recognized.
Robert Dewar
-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own
next prev parent reply other threads:[~1999-01-15 0:00 UTC|newest]
Thread overview: 366+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-01-13 0:00 Ada vs C++ vs Java Leszek Sczaniecki
1999-01-13 0:00 ` David A. Frantz
1999-01-14 0:00 ` forsyth
1999-01-14 0:00 ` Marin David Condic
1999-01-15 0:00 ` robert_dewar [this message]
1999-01-13 0:00 ` Stanley R. Allen
1999-01-13 0:00 ` Network
1999-01-14 0:00 ` Ken Keys
1999-01-15 0:00 ` Matthew Heaney
[not found] ` <369CF2CF.440F413C@hercii.mar.lmco.com>
1999-01-16 0:00 ` bob
[not found] <m3k8yhy6fe.fsf@fred.muc.de>
1999-01-21 0:00 ` Tucker Taft
1999-01-21 0:00 ` forsyth
1999-01-22 0:00 ` Tucker Taft
1999-01-25 0:00 ` Walter Mallory
-- strict thread matches above, loose matches on Subject: below --
1999-01-12 0:00 Leszek Sczaniecki
1999-01-13 0:00 ` Tucker Taft
1999-01-14 0:00 ` Emil Rojas
1999-01-13 0:00 ` Herman
1999-01-13 0:00 ` Marin David Condic
1999-01-15 0:00 ` David R. Conrad
1999-01-15 0:00 ` robert_dewar
1999-01-16 0:00 ` Michael J. Tobler
1999-01-15 0:00 ` Al Christians
1999-01-16 0:00 ` Michael J. Tobler
1999-01-16 0:00 ` robert_dewar
1999-01-16 0:00 ` robert_dewar
1999-01-16 0:00 ` robert_dewar
1999-01-16 0:00 ` Bob Munck
1999-01-22 0:00 ` Patrick Wibbeler
1999-01-26 0:00 ` Marin David Condic
1999-01-27 0:00 ` Peter Amey
1999-01-29 0:00 ` P.S. Norby
1999-01-26 0:00 ` Ken
1999-01-27 0:00 ` Scott Johnson
1999-01-27 0:00 ` Robert Garskof
1999-01-27 0:00 ` Jay O'Connor
1999-01-28 0:00 ` Marin David Condic
1999-01-28 0:00 ` Joshua fit de wall
1999-01-29 0:00 ` Herman
1999-01-31 0:00 ` Ruth Ivimey-Cook
1999-01-13 0:00 ` Peter Amey
1999-01-13 0:00 ` Marin David Condic
1999-01-14 0:00 ` Ola Liljedahl
1999-01-14 0:00 ` Marin David Condic
1999-01-15 0:00 ` Ola Liljedahl
1999-01-15 0:00 ` Marin David Condic
1999-01-14 0:00 ` Chris Gray
1999-01-14 0:00 ` Tom Maier
1999-01-21 0:00 ` Brent A Ellingson
1999-01-14 0:00 ` Crazy Pete
1999-01-15 0:00 ` Markus Kuhn
1999-01-15 0:00 ` Peter
1999-01-15 0:00 ` David C. Hoos, Sr.
1999-01-15 0:00 ` Larry Kilgallen
1999-01-16 0:00 ` Tucker Taft
1999-01-13 0:00 ` Bob Cousins
1999-01-14 0:00 ` dennison
1999-01-14 0:00 ` jim.hyslop
1999-01-15 0:00 ` robert_dewar
1999-01-13 0:00 ` Marin David Condic
1999-01-13 0:00 ` Richard Krehbiel
1999-01-13 0:00 ` Marin David Condic
1999-01-13 0:00 ` Dave Hansen
1999-01-14 0:00 ` dennison
1999-01-15 0:00 ` dewar
1999-01-15 0:00 ` dennison
1999-01-13 0:00 ` David Gillon
1999-01-13 0:00 ` Peter
1999-01-14 0:00 ` Michael J. Tobler
1999-01-15 0:00 ` robert_dewar
1999-01-15 0:00 ` Larry Kilgallen
1999-01-15 0:00 ` dewar
1999-01-14 0:00 ` dennison
1999-01-14 0:00 ` Peter Sch�ller
1999-01-13 0:00 ` Corvus
1999-01-13 0:00 ` Herman
1999-01-13 0:00 ` Craig Garrett
1999-01-13 0:00 ` Michael Trausch
1999-01-14 0:00 ` Martijn Lievaart
1999-01-14 0:00 ` Michael J. Tobler
1999-01-16 0:00 ` Matthew Heaney
1999-01-16 0:00 ` Matthew Heaney
1999-01-16 0:00 ` Craig Garrett
1999-01-14 0:00 ` Jeff Carter
1999-01-15 0:00 ` dewar
1999-01-16 0:00 ` Matthew Heaney
1999-01-18 0:00 ` dennison
1999-01-18 0:00 ` robert_dewar
1999-01-24 0:00 ` Nick Roberts
1999-01-20 0:00 ` Peter Flynn
[not found] ` <01be3f41$c1205ba0$5704fbd1@longslide>
1999-01-14 0:00 ` Thaddeus L. Olczyk
1999-01-17 0:00 ` Craig Garrett
1999-01-20 0:00 ` Gerry Quinn
1999-01-14 0:00 ` Tom Maier
1999-01-19 0:00 ` Vladyslav Kosulin
1999-01-13 0:00 ` Michael J. Tobler
1999-01-22 0:00 ` Tov Are Jacobsen
1999-01-13 0:00 ` John Woodruff
1999-01-13 0:00 ` dennison
1999-01-13 0:00 ` Erik Funkenbusch
1999-01-13 0:00 ` Marin David Condic
1999-01-14 0:00 ` Ken Keys
1999-01-14 0:00 ` Marin David Condic
1999-01-15 0:00 ` Ken Keys
1999-01-15 0:00 ` dennison
1999-01-15 0:00 ` dennison
1999-01-18 0:00 ` Marin David Condic
1999-01-19 0:00 ` Matthew Heaney
1999-01-19 0:00 ` Marin David Condic
1999-01-14 0:00 ` John Woodruff
1999-01-15 0:00 ` Ken Keys
1999-01-15 0:00 ` dennison
1999-01-15 0:00 ` Marc A. Criley
1999-01-18 0:00 ` Marin David Condic
1999-01-15 0:00 ` dennison
1999-01-13 0:00 ` Ralph Cook
1999-01-13 0:00 ` Erik Funkenbusch
1999-01-13 0:00 ` Bob Munck
1999-01-14 0:00 ` Dave Whipp
1999-01-13 0:00 ` Peter
1999-01-13 0:00 ` Corvus
1999-01-14 0:00 ` Michael J. Tobler
1999-01-14 0:00 ` Erik Funkenbusch
1999-01-14 0:00 ` Larry Kilgallen
1999-01-19 0:00 ` Chris Gray
1999-01-14 0:00 ` Gerhard Menzl
1999-01-14 0:00 ` John Birch
1999-01-14 0:00 ` Bjarne Stroustrup
1999-01-16 0:00 ` John Birch
1999-01-14 0:00 ` Pat Rogers
1999-01-16 0:00 ` John Birch
1999-01-16 0:00 ` Pat Rogers
1999-01-17 0:00 ` Matthew Heaney
1999-01-17 0:00 ` Mike Coffin
1999-01-17 0:00 ` robert_dewar
1999-02-04 0:00 ` mll
1999-02-04 0:00 ` mike
1999-02-04 0:00 ` John McCabe
1999-02-04 0:00 ` mike
1999-02-05 0:00 ` John McCabe
1999-02-04 0:00 ` Hyman Rosen
1999-02-05 0:00 ` Stephen Leake
1999-02-06 0:00 ` Michael Stark
1999-02-08 0:00 ` Stanley Friesen [Contractor]
1999-02-12 0:00 ` Michael Stark
1999-02-05 0:00 ` Richard D Riehle
1999-02-05 0:00 ` Tucker Taft
1999-02-09 0:00 ` Fredric L. Rice
1999-02-05 0:00 ` robert_dewar
1999-02-05 0:00 ` Ole-Hjalmar Kristensen
1999-02-05 0:00 ` robert_dewar
1999-02-05 0:00 ` mike
1999-02-06 0:00 ` Ole-Hjalmar Kristensen
1999-02-06 0:00 ` robert_dewar
1999-02-06 0:00 ` mike
1999-02-08 0:00 ` dennison
1999-02-08 0:00 ` Al Christians
1999-02-08 0:00 ` William Clodius
1999-02-09 0:00 ` Fredric L. Rice
1999-02-09 0:00 ` Matt Austern
1999-02-08 0:00 ` Marin David Condic
1999-02-09 0:00 ` Fredric L. Rice
1999-02-09 0:00 ` Marin David Condic
1999-02-09 0:00 ` Fredric L. Rice
1999-02-09 0:00 ` Robert I. Eachus
1999-02-06 0:00 ` Ole-Hjalmar Kristensen
1999-02-08 0:00 ` Robert I. Eachus
1999-02-08 0:00 ` mike
1999-02-08 0:00 ` Larry Kilgallen
1999-02-09 0:00 ` Geoff Bull
1999-02-09 0:00 ` atomly
1999-02-09 0:00 ` Larry Kilgallen
1999-02-09 0:00 ` robert_dewar
1999-02-10 0:00 ` Ole-Hjalmar Kristensen
1999-02-10 0:00 ` robert_dewar
1999-02-10 0:00 ` Jean-Pierre Rosen
1999-02-10 0:00 ` mike
1999-02-10 0:00 ` nabbasi
1999-02-10 0:00 ` Al Christians
1999-02-12 0:00 ` robert_dewar
1999-02-12 0:00 ` robert_dewar
1999-02-11 0:00 ` Ole-Hjalmar Kristensen
1999-02-12 0:00 ` robert_dewar
1999-02-13 0:00 ` Dale Stanbrough
1999-02-15 0:00 ` Ole-Hjalmar Kristensen
1999-02-16 0:00 ` robert_dewar
1999-02-15 0:00 ` P.S. Norby
1999-02-16 0:00 ` Ole-Hjalmar Kristensen
1999-02-09 0:00 ` Fredric L. Rice
[not found] ` <79fnce$iv8@drn.newsguy.c <36beecef.70d8ed5e@pwfl.com>
1999-02-08 0:00 ` Larry Kilgallen
1999-02-08 0:00 ` Marin David Condic
1999-02-07 0:00 ` James S. Rogers
1999-02-07 0:00 ` mike
1999-02-07 0:00 ` James S. Rogers
1999-02-07 0:00 ` mike
1999-02-07 0:00 ` atomly
1999-02-08 0:00 ` robert_dewar
1999-02-08 0:00 ` Dan Nagle
1999-02-08 0:00 ` Pascal Obry
1999-02-08 0:00 ` Jean-Pierre Rosen
1999-02-08 0:00 ` Geoff Bull
1999-02-09 0:00 ` Fredric L. Rice
1999-02-09 0:00 ` Marin David Condic
1999-02-07 0:00 ` Simon Wright
1999-02-09 0:00 ` robert_dewar
1999-02-09 0:00 ` nabbasi
1999-02-08 0:00 ` robert_dewar
[not found] ` <79 <36BF2098.11E0761B@erols.com>
1999-02-08 0:00 ` Bjarne Stroustrup
1999-02-09 0:00 ` robert_dewar
1999-02-09 0:00 ` Geoff Bull
1999-02-08 0:00 ` Ole-Hjalmar Kristensen
[not found] ` <79k65l$s0t@drn.news <36c006b8.fc6c187d@acenet.com.au>
1999-02-09 0:00 ` Larry Kilgallen
1999-02-09 0:00 ` Fredric L. Rice
1999-02-09 0:00 ` Marin David Condic
1999-02-06 0:00 ` Geoff Bull
1999-02-05 0:00 ` Andrew Koenig
1999-02-05 0:00 ` mike
1999-02-08 0:00 ` Geoff Bull
1999-02-08 0:00 ` mike
1999-02-09 0:00 ` Geoff Bull
1999-02-09 0:00 ` P.S. Norby
1999-02-08 0:00 ` Stanley Friesen [Contractor]
1999-02-06 0:00 ` Brian Rogoff
1999-02-08 0:00 ` mike
1999-02-08 0:00 ` Brian Rogoff
1999-02-09 0:00 ` Geoff Bull
1999-02-09 0:00 ` Brian Rogoff
1999-02-09 0:00 ` robert_dewar
1999-02-09 0:00 ` Geoff Bull
1999-02-09 0:00 ` dennison
1999-01-17 0:00 ` Ell
1999-01-17 0:00 ` Matthew Heaney
1999-01-17 0:00 ` Mike Coffin
1999-01-17 0:00 ` Matthew Heaney
1999-01-17 0:00 ` Mike Coffin
1999-01-19 0:00 ` adam
1999-01-18 0:00 ` kevin
1999-01-20 0:00 ` Michael J. Tobler
1999-01-19 0:00 ` Michael Rubenstein
1999-01-19 0:00 ` robert_dewar
1999-01-21 0:00 ` Lieven Marchand
1999-01-19 0:00 ` Mike Coffin
1999-01-20 0:00 ` Larry Kilgallen
1999-01-21 0:00 ` adam
1999-01-23 0:00 ` Simon Wright
1999-01-22 0:00 ` Matthew Heaney
1999-01-22 0:00 ` adam
1999-01-23 0:00 ` Matthew Heaney
1999-01-24 0:00 ` robert_dewar
1999-02-01 0:00 ` Robert I. Eachus
1999-02-01 0:00 ` Al Christians
1999-02-02 0:00 ` Jerry van Dijk
1999-01-18 0:00 ` Joe Gwinn
1999-01-19 0:00 ` robert_dewar
1999-01-20 0:00 ` Joe Gwinn
1999-01-21 0:00 ` robert_dewar
1999-01-22 0:00 ` Joe Gwinn
1999-01-24 0:00 ` robert_dewar
1999-01-24 0:00 ` Joe Gwinn
1999-01-25 0:00 ` robert_dewar
1999-01-25 0:00 ` Joe Gwinn
1999-01-21 0:00 ` robert_dewar
1999-01-21 0:00 ` Joe Gwinn
1999-01-21 0:00 ` dennison
1999-01-21 0:00 ` robert_dewar
1999-01-27 0:00 ` Ola Liljedahl
1999-01-27 0:00 ` Scott Johnson
1999-01-28 0:00 ` robert_dewar
1999-01-15 0:00 ` James Kanze
1999-01-16 0:00 ` John Birch
1999-01-17 0:00 ` Matthew Heaney
1999-01-17 0:00 ` phil
1999-01-17 0:00 ` robert_dewar
1999-01-18 0:00 ` John Birch
1999-01-18 0:00 ` James Kanze
1999-01-18 0:00 ` John Birch
1999-01-18 0:00 ` robert_dewar
1999-01-19 0:00 ` James Kanze
1999-01-18 0:00 ` robert_dewar
1999-01-18 0:00 ` James Kanze
1999-01-18 0:00 ` John Birch
1999-01-18 0:00 ` James Kanze
1999-01-19 0:00 ` Matthew Heaney
1999-01-15 0:00 ` Gerhard Menzl
1999-01-15 0:00 ` John Birch
1999-01-16 0:00 ` robert_dewar
1999-01-16 0:00 ` Crazy Pete
1999-01-16 0:00 ` robert_dewar
1999-01-16 0:00 ` Judah Diament
1999-01-16 0:00 ` bill
1999-01-16 0:00 ` Al Christians
1999-01-17 0:00 ` Judah Diament
1999-01-17 0:00 ` robert_dewar
1999-01-17 0:00 ` bill
1999-01-17 0:00 ` Dennis
1999-01-16 0:00 ` Michael J. Tobler
1999-01-16 0:00 ` robert_dewar
1999-01-18 0:00 ` dennison
1999-01-18 0:00 ` Larry Kilgallen
1999-01-18 0:00 ` robert_dewar
1999-01-19 0:00 ` Crazy Pete
1999-01-19 0:00 ` robert_dewar
1999-01-20 0:00 ` Christopher Browne
1999-01-19 0:00 ` bill
1999-01-20 0:00 ` robert_dewar
1999-01-21 0:00 ` Peter Hend�n
1999-01-20 0:00 ` dennison
1999-01-20 0:00 ` robert_dewar
1999-01-20 0:00 ` dennison
1999-01-21 0:00 ` robert_dewar
1999-01-21 0:00 ` Matthew Heaney
1999-01-21 0:00 ` Al Christians
1999-01-21 0:00 ` Matthew Heaney
[not found] ` <m3g194bhzh.fsf@fred.muc.de>
1999-01-21 0:00 ` Stephen Leake
1999-01-21 0:00 ` Al Christians
1999-01-22 0:00 ` Matthew Heaney
1999-01-21 0:00 ` bill_1
1999-01-22 0:00 ` Matthew Heaney
1999-01-22 0:00 ` bill_1
1999-01-22 0:00 ` Matthew Heaney
1999-01-23 0:00 ` Simon Wright
1999-01-23 0:00 ` Matthew Heaney
1999-01-24 0:00 ` Simon Wright
1999-01-24 0:00 ` Matthew Heaney
1999-01-24 0:00 ` dewar
1999-01-22 0:00 ` Tarjei Tj�stheim Jensen
1999-01-20 0:00 ` dennison
1999-01-21 0:00 ` dewar
1999-01-21 0:00 ` dennison
1999-01-21 0:00 ` bourguet
1999-01-20 0:00 ` robert_dewar
1999-01-20 0:00 ` robert_dewar
1999-01-20 0:00 ` dennison
1999-01-20 0:00 ` robert_dewar
1999-01-20 0:00 ` Robert I. Eachus
1999-01-21 0:00 ` Martin Dowie
1999-01-19 0:00 ` Peter Hend�n
1999-01-19 0:00 ` robert_dewar
1999-01-18 0:00 ` Gerhard Menzl
1999-01-18 0:00 ` robert_dewar
1999-01-15 0:00 ` Wolfgang Denk
1999-01-15 0:00 ` Herman
1999-01-15 0:00 ` Ola Liljedahl
1999-01-15 0:00 ` robert_dewar
1999-01-16 0:00 ` Michael J. Tobler
1999-01-16 0:00 ` John Birch
1999-01-16 0:00 ` Matthew Heaney
1999-01-16 0:00 ` Matthew Heaney
1999-01-18 0:00 ` Ken Keys
1999-01-19 0:00 ` Tucker Taft
1999-01-19 0:00 ` Matthew Heaney
[not found] ` <01be3f5e$26453ca0$5704fbd1@longslide>
1999-01-14 0:00 ` Siamak Kaveh
1999-01-16 0:00 ` Craig Garrett
1999-01-18 0:00 ` Ken Keys
1999-01-14 0:00 ` Pete Becker
1999-01-15 0:00 ` Scott Johnson
1999-01-15 0:00 ` Larry Kilgallen
1999-01-16 0:00 ` Matthew Heaney
1999-01-18 0:00 ` James Kanze
1999-01-19 0:00 ` Scott Johnson
1999-01-15 0:00 ` Bruce Detter
1999-01-18 0:00 ` John Birch
1999-01-18 0:00 ` Bruce Detter
1999-01-22 0:00 ` Dr. Hubert B. Keller
1999-01-22 0:00 ` Bob Cousins
1999-01-22 0:00 ` Roedy Green
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox