From: ell@access5.digex.net (Ell)
Subject: Re: OO, C++, and something much better!
Date: 1997/01/28
Date: 1997-01-28T00:00:00+00:00 [thread overview]
Message-ID: <5cjohh$9pr@news3.digex.net> (raw)
Robert A Duff (bobduff@world.std.com) wrote:
: In article <dewar.854377413@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
: >On the other hand, it is quite possible to generate high reliability code
: >with no testing whatsoever.
: I skept.
: > ...For more information on this possibility (which
: >often seems almost incredible to the test-debug crowd), read up on the
: >cleanroom approach to generating software, an approach in which the development
: >team is not permitted to do any testing!
Not having the same team that creates code do the testing doesn't mean the
project doesn't carry or see the importance of testing.
Elliott
: It's incredible to me, and I don't count myself among the "test-debug
: crowd". I count myself among the "static type checking, and even
: better, formal verification" crowd. Nonetheless, whatever you've proven
: at compile time, I want to see it work.
:
: - Bob
:
next reply other threads:[~1997-01-28 0:00 UTC|newest]
Thread overview: 391+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-01-28 0:00 Ell [this message]
-- strict thread matches above, loose matches on Subject: below --
1997-01-28 0:00 OO, C++, and something much better! Snowball Info
1997-01-27 0:00 Ell
1997-01-22 0:00 Ell
1997-01-21 0:00 Ell
1997-01-21 0:00 ` Ole-Hjalmar Kristensen FOU.TD/DELAB
1997-01-16 0:00 Jon S Anthony
1997-01-17 0:00 ` Don Harrison
1997-01-16 0:00 ` Matthew Heaney
1997-01-17 0:00 ` Alan Lovejoy
1997-01-17 0:00 ` Norman H. Cohen
1997-01-17 0:00 ` Alan Lovejoy
1997-01-18 0:00 ` Fergus Henderson
1997-01-17 0:00 ` Alan Lovejoy
1997-01-20 0:00 ` Damon Feldman
1997-01-19 0:00 ` Alan Lovejoy
1997-01-20 0:00 ` David Hanley
1997-01-21 0:00 ` Alan Lovejoy
1997-01-22 0:00 ` Fergus Henderson
1997-01-22 0:00 ` Alan Lovejoy
1997-01-23 0:00 ` Bob Jarvis
1997-01-20 0:00 ` Bill Gooch
1997-01-20 0:00 ` Graham Hughes
1997-01-21 0:00 ` Alan Lovejoy
1997-01-21 0:00 ` Marc Robertson
1997-01-24 0:00 ` Mark Windholtz
1997-01-27 0:00 ` David Hanley
1997-01-28 0:00 ` Eric Clayberg
[not found] ` <32EE2FEE.62FE@p <32EE8415.2F5B@netright.com>
1997-01-28 0:00 ` Eric Clayberg
1997-01-29 0:00 ` David Hanley
1997-01-29 0:00 ` Eric Clayberg
1997-01-28 0:00 ` David Hanley
1997-01-28 0:00 ` Alan Lovejoy
1997-01-29 0:00 ` Matt Kennel
1997-01-30 0:00 ` Alan Lovejoy
1997-01-30 0:00 ` David L. Shang
1997-01-29 0:00 ` Jun Nolasco
1997-01-21 0:00 ` Matt Kennel
1997-01-22 0:00 ` Fergus Henderson
1997-01-22 0:00 ` Fergus Henderson
1997-01-22 0:00 ` Eric Clayberg
1997-01-22 0:00 ` Graham Hughes
1997-01-23 0:00 ` Mark Woodruff
1997-01-23 0:00 ` Eric Clayberg
1997-01-23 0:00 ` Claus Reinke
1997-01-25 0:00 ` Eric Clayberg
1997-01-24 0:00 ` Static vs. Dynamic typing again (was Re: OO, C++, and something much better!) Robb Nebbe
1997-01-25 0:00 ` OO, C++, and something much better! David N. Smith
1997-01-25 0:00 ` Lawrence G. Mayka
1997-01-25 0:00 ` Fergus Henderson
1997-01-28 0:00 ` Claus Reinke
1997-01-24 0:00 ` Don Harrison
1997-01-24 0:00 ` Eric Clayberg
1997-01-28 0:00 ` Don Harrison
1997-01-24 0:00 ` Richard A. O'Keefe
[not found] ` <E4voIF.86o@world.std.com>
1997-02-12 0:00 ` Ulf Schuenemann
1997-01-23 0:00 ` Robb Nebbe
1997-01-23 0:00 ` David Hanley
1997-01-25 0:00 ` Eric Clayberg
1997-01-23 0:00 ` Matt Kennel
1997-01-25 0:00 ` Eric Clayberg
1997-01-27 0:00 ` Jon S Anthony
1997-01-24 0:00 ` Richard A. O'Keefe
1997-01-24 0:00 ` Fergus Henderson
1997-01-24 0:00 ` Alan Lovejoy
1997-01-26 0:00 ` Fergus Henderson
1997-01-28 0:00 ` Alan Knight
1997-01-29 0:00 ` Nick Leaton
[not found] ` <32E9BAAC. <5ce8t3$6gv@mulga.cs.mu.OZ.AU>
1997-01-28 0:00 ` Alan Lovejoy
1997-01-29 0:00 ` Fergus Henderson
1997-01-30 0:00 ` Alan Lovejoy
1997-01-25 0:00 ` Joachim Durchholz
1997-01-27 0:00 ` Ed Shirk
1997-01-27 0:00 ` Rolf Breuning
1997-01-22 0:00 ` Damon Feldman
1997-01-29 0:00 ` Joachim Durchholz
1997-01-25 0:00 ` Jon S Anthony
1997-01-25 0:00 ` Eric Clayberg
1997-01-26 0:00 ` Robert Dewar
1997-01-27 0:00 ` Bob Jarvis
1997-01-27 0:00 ` Robert Dewar
1997-01-27 0:00 ` Robert A Duff
1997-01-29 0:00 ` Robert Dewar
1997-01-27 0:00 ` Eric Clayberg
1997-01-29 0:00 ` Robert Dewar
1997-01-29 0:00 ` Robert A Duff
1997-01-29 0:00 ` Eric Clayberg
1997-01-27 0:00 ` Matthew Heaney
1997-01-27 0:00 ` Eric Clayberg
1997-01-27 0:00 ` Samuel S. Shuster
1997-01-27 0:00 ` Richard Kenner
1997-01-29 0:00 ` Robert Dewar
1997-01-30 0:00 ` Eirik Mangseth
1997-01-28 0:00 ` Jun Nolasco
1997-01-29 0:00 ` Robert Dewar
1997-01-29 0:00 ` Richard Kenner
1997-01-29 0:00 ` David Hanley
1997-01-29 0:00 ` Richard Kenner
1997-01-30 0:00 ` Nick Leaton
1997-01-30 0:00 ` Robert Dewar
1997-01-30 0:00 ` Richard Kenner
1997-01-30 0:00 ` Nick Leaton
1997-01-28 0:00 ` Robert I. Eachus
1997-02-08 0:00 ` Robin Rosenberg
1997-01-27 0:00 ` Jon S Anthony
1997-01-27 0:00 ` Eric Clayberg
1997-01-29 0:00 ` Joachim Durchholz
1997-01-29 0:00 ` Fergus Henderson
1997-01-27 0:00 ` David Hanley
1997-01-29 0:00 ` Joachim Durchholz
1997-01-29 0:00 ` Dennis Smith
1997-01-28 0:00 ` Eric Clayberg
1997-01-28 0:00 ` Matt Kennel
1997-01-28 0:00 ` Luther Hampton
1997-01-28 0:00 ` David Hanley
1997-01-28 0:00 ` Robert I. Eachus
1997-01-28 0:00 ` David Hanley
1997-01-28 0:00 ` Jacqueline U. Robertson
1997-01-29 0:00 ` David Hanley
1997-01-29 0:00 ` Fergus Henderson
1997-01-30 0:00 ` Robert C. Martin
[not found] ` <5cr068$gpa@uni.library.ucla.edu>
1997-06-27 0:00 ` David Shang
1997-06-28 0:00 ` Ronald E Jeffries
1997-06-28 0:00 ` Mike Stark
1997-06-29 0:00 ` Mike Anderson
1997-06-29 0:00 ` Robert Dewar
1997-06-30 0:00 ` Kohler Markus
1997-01-29 0:00 ` Joachim Durchholz
1997-01-29 0:00 ` David Hanley
1997-01-29 0:00 ` Jon S Anthony
1997-01-29 0:00 ` Eric Clayberg
1997-01-29 0:00 ` Rolf Breuning
1997-01-29 0:00 ` Eric Clayberg
1997-01-20 0:00 ` Fergus Henderson
1997-01-19 0:00 ` Alan Lovejoy
1997-01-25 0:00 ` Robert Dewar
1997-01-26 0:00 ` James O'Connor
1997-01-26 0:00 ` Robert Dewar
1997-01-26 0:00 ` George Wolke
1997-01-27 0:00 ` Jerry van Dijk
1997-01-28 0:00 ` Robert A Duff
1997-01-28 0:00 ` Jerry van Dijk
1997-01-29 0:00 ` Stanley R. Allen
1997-01-30 0:00 ` Robert A Duff
1997-01-28 0:00 ` Jon S Anthony
1997-01-29 0:00 ` Robert A Duff
1997-01-28 0:00 ` Alan Lovejoy
1997-01-25 0:00 ` Robert Dewar
1997-01-27 0:00 ` Bob Jarvis
1997-01-27 0:00 ` Robert Dewar
1997-01-28 0:00 ` Alan Lovejoy
1997-01-19 0:00 ` Soren Skogstad Nielsen
1997-01-20 0:00 ` Joachim Durchholz
1997-01-26 0:00 ` Joachim Durchholz
1997-01-21 0:00 ` Matthew S. Whiting
1997-01-22 0:00 ` Fergus Henderson
1997-01-22 0:00 ` Don Harrison
1997-01-22 0:00 ` John Kuszewski
1997-01-23 0:00 ` Don Harrison
1997-01-23 0:00 ` Travis Griggs
1997-01-23 0:00 ` Tansel Ersavas
1997-01-24 0:00 ` Fergus Henderson
1997-01-22 0:00 ` Alan Lovejoy
1997-01-22 0:00 ` Eric Clayberg
1997-01-23 0:00 ` Don Harrison
1997-01-27 0:00 ` John Woods
1997-01-28 0:00 ` Alan Lovejoy
1997-01-24 0:00 ` Andy Bower
1997-01-25 0:00 ` Robert Dewar
1997-01-26 0:00 ` William Clodius
1997-01-25 0:00 ` Robert Dewar
1997-01-26 0:00 ` Eric Clayberg
1997-01-26 0:00 ` Robert Dewar
1997-01-26 0:00 ` Robert Dewar
1997-01-27 0:00 ` Robert C. Martin
1997-01-29 0:00 ` Robert Dewar
1997-01-29 0:00 ` Robert A Duff
1997-01-21 0:00 ` Matthew S. Whiting
1997-01-24 0:00 ` Tansel Ersavas
1997-01-25 0:00 ` Fergus Henderson
1997-01-25 0:00 ` Robert A Duff
1997-01-26 0:00 ` Robert Dewar
1997-01-26 0:00 ` James O'Connor
1997-01-26 0:00 ` TanselErsavas
1997-01-26 0:00 ` Robert Dewar
1997-01-27 0:00 ` Eric Clayberg
1997-01-28 0:00 ` Antoine Trux
1997-01-29 0:00 ` Robert Dewar
1997-01-26 0:00 ` Bob Haugen
1997-01-26 0:00 ` Larry J. Elmore
1997-01-26 0:00 ` Eric Clayberg
1997-01-26 0:00 ` Robert Dewar
1997-01-26 0:00 ` TanselErsavas
1997-01-27 0:00 ` Samuel S. Shuster
1997-01-27 0:00 ` David Hanley
1997-01-24 0:00 ` Tansel Ersavas
1997-01-24 0:00 ` Tansel Ersavas
1997-01-25 0:00 ` Damon Feldman
1997-01-26 0:00 ` Felix Beer
1997-01-28 0:00 ` Robert C. Martin
1997-01-28 0:00 ` Matt Kennel
1997-01-29 0:00 ` Del Archer
1997-01-27 0:00 ` David Hanley
1997-01-28 0:00 ` Alan Lovejoy
1997-01-28 0:00 ` Al Christians
1997-01-29 0:00 ` Alan Lovejoy
1997-02-21 0:00 ` Eric W. Nikitin
1997-02-21 0:00 ` Brian Rogoff
1997-02-21 0:00 ` Chris Bitmead
1997-02-24 0:00 ` Jon S Anthony
1997-02-24 0:00 ` Brian Rogoff
1997-02-25 0:00 ` Eric W. Nikitin
1997-01-21 0:00 ` Norman H. Cohen
1997-01-22 0:00 ` Eric Clayberg
1997-01-23 0:00 ` Norman H. Cohen
1997-01-24 0:00 ` Eric Clayberg
1997-01-27 0:00 ` Norman H. Cohen
1997-01-28 0:00 ` Tim Ottinger
1997-01-29 0:00 ` Ted Dennison
1997-01-24 0:00 ` traymond
1997-01-27 0:00 ` Norman H. Cohen
1997-01-28 0:00 ` traymond
1997-01-25 0:00 ` Tansel Ersavas
1997-01-27 0:00 ` Norman H. Cohen
1997-01-27 0:00 ` Brian Rogoff
1997-01-30 0:00 ` Tim Ottinger
1997-01-23 0:00 ` James O'Connor
1997-01-29 0:00 ` Stanley R. Allen
1997-01-30 0:00 ` Robert A Duff
1997-01-27 0:00 ` Jon S Anthony
1997-01-19 0:00 ` Keith Thompson
1997-01-22 0:00 ` Don Harrison
1997-01-23 0:00 ` Robert I. Eachus
1997-01-23 0:00 ` Norman H. Cohen
1997-01-24 0:00 ` Don Harrison
1997-01-27 0:00 ` Norman H. Cohen
1997-01-20 0:00 ` Ole-Hjalmar Kristensen FOU.TD/DELAB
1997-01-24 0:00 ` Jon S Anthony
1997-01-26 0:00 ` Eric Clayberg
1997-01-27 0:00 ` Jon S Anthony
1997-01-27 0:00 ` Jon S Anthony
1997-01-27 0:00 ` Jon S Anthony
1997-01-28 0:00 ` Jon S Anthony
1997-01-29 0:00 ` Stephen J Bevan
1997-01-21 0:00 ` Joachim Durchholz
1997-01-22 0:00 ` Richard A. O'Keefe
1997-01-27 0:00 ` Robert A Duff
1997-01-27 0:00 ` Bob Jarvis
1997-01-28 0:00 ` Travis Griggs
1997-01-28 0:00 ` Norman H. Cohen
1997-01-28 0:00 ` Russ McClelland
1997-01-27 0:00 ` Robert Dewar
1997-01-27 0:00 ` Robert A Duff
1997-01-29 0:00 ` Robert Dewar
1997-01-27 0:00 ` John Woods
1997-01-22 0:00 ` Eric Clayberg
1997-01-23 0:00 ` Joachim Durchholz
1997-01-24 0:00 ` Joachim Durchholz
1997-01-25 0:00 ` Tansel Ersavas
1997-01-25 0:00 ` James O'Connor
1997-01-26 0:00 ` Lawrence G. Mayka
1997-01-26 0:00 ` James O'Connor
1997-01-25 0:00 ` Eric Clayberg
1997-01-27 0:00 ` Norman H. Cohen
1997-02-07 0:00 ` Richard A. O'Keefe
1997-02-07 0:00 ` Alan Lovejoy
1997-02-12 0:00 ` Piercarlo Grandi
1997-02-13 0:00 ` Alan Lovejoy
[not found] ` <yf3ybcsm5ce.fsf@sabi.demon.co.uk>
1997-02-14 0:00 ` Alan Lovejoy
1997-02-16 0:00 ` Piercarlo Grandi
1997-02-16 0:00 ` Alan Lovejoy
1997-02-17 0:00 ` Piercarlo Grandi
1997-02-13 0:00 ` Richard A. O'Keefe
1997-02-13 0:00 ` Alan Lovejoy
1997-02-18 0:00 ` Richard A. O'Keefe
1997-02-19 0:00 ` William Clodius
1997-02-19 0:00 ` Mike Klein
1997-02-19 0:00 ` Mike Klein
1997-02-19 0:00 ` richard
1997-02-15 0:00 ` Jon S Anthony
1997-02-16 0:00 ` Piercarlo Grandi
1997-02-16 0:00 ` Jon S Anthony
1997-02-18 0:00 ` Richard A. O'Keefe
1997-02-20 0:00 ` Matt Kennel
1997-02-20 0:00 ` Anders Pytte
1997-02-17 0:00 ` Jon S Anthony
1997-02-19 0:00 ` Piercarlo Grandi
1997-02-19 0:00 ` Mike Klein
1997-02-17 0:00 ` Jon S Anthony
1997-02-19 0:00 ` Piercarlo Grandi
1997-02-17 0:00 ` Jon S Anthony
1997-02-17 0:00 ` Alan Lovejoy
1997-02-18 0:00 ` Jon S Anthony
1997-02-19 0:00 ` Piercarlo Grandi
1997-02-19 0:00 ` Piercarlo Grandi
1997-02-18 0:00 ` Bernard Badger
1997-02-21 0:00 ` Jon S Anthony
1997-02-24 0:00 ` Piercarlo Grandi
1997-02-22 0:00 ` Jon S Anthony
1997-02-22 0:00 ` Jon S Anthony
1997-02-22 0:00 ` Jon S Anthony
1997-02-22 0:00 ` Jon S Anthony
1997-02-25 0:00 ` Richard A. O'Keefe
1997-02-22 0:00 ` Jon S Anthony
1997-02-25 0:00 ` Jon S Anthony
1997-02-25 0:00 ` Jon S Anthony
1997-02-27 0:00 ` Clayton Weaver
1997-02-25 0:00 ` Jon S Anthony
1997-02-26 0:00 ` Mike Klein
1997-02-25 0:00 ` Jon S Anthony
1997-01-08 0:00 Sazonov Cyril
1997-01-11 0:00 ` Bjarne Stroustrup
1997-01-01 0:00 What is wrong with OO ? Jon S Anthony
1997-01-02 0:00 ` Robert C. Martin
1997-01-03 0:00 ` Eirik Mangseth
1997-01-03 0:00 ` What is wrong with OO O X g Greg Comeau
1997-01-04 0:00 ` OO, C++, and something much better! John (Max) Skaller
1997-01-04 0:00 ` vlad
1997-01-05 0:00 ` Mike Anderson
1997-01-06 0:00 ` Chris Brand
1997-01-06 0:00 ` Stanley Allen
1997-01-09 0:00 ` Jon S Anthony
1997-01-08 0:00 ` Robert I. Eachus
1997-01-09 0:00 ` Bertrand Meyer
1997-01-27 0:00 ` Richard Riehle
1997-01-10 0:00 ` Robb Nebbe
1997-01-10 0:00 ` Robert I. Eachus
1997-01-04 0:00 ` Pieter Schoenmakers
1997-01-06 0:00 ` Ole-Hjalmar Kristensen FOU.TD/DELAB
1997-01-06 0:00 ` Michael F Brenner
1997-01-06 0:00 ` Tucker Taft
1997-01-07 0:00 ` Robert Dewar
1997-01-08 0:00 ` Robert Dewar
1997-01-07 0:00 ` Andrew Koenig
1997-01-10 0:00 ` Norman H. Cohen
1997-01-07 0:00 ` Jay Martin
1997-01-08 0:00 ` Ken Garlington
1997-01-08 0:00 ` Robert Dewar
1997-01-08 0:00 ` Robert Dewar
1997-01-09 0:00 ` Ted Dennison
1997-01-12 0:00 ` Richard Riehle
1997-01-07 0:00 ` Stanley Allen
1997-01-07 0:00 ` Robert Dewar
1997-01-07 0:00 ` Bertrand Meyer
1997-01-08 0:00 ` Ken Garlington
1997-01-08 0:00 ` Matthew Heaney
1997-01-10 0:00 ` Keith Thompson
1997-01-10 0:00 ` Robert Dewar
1997-01-10 0:00 ` Robert Dewar
1997-01-15 0:00 ` Richard Kenner
1997-01-15 0:00 ` Fergus Henderson
1997-01-20 0:00 ` Andrew Koenig
1997-01-25 0:00 ` Robert Dewar
1997-01-15 0:00 ` Ole-Hjalmar Kristensen FOU.TD/DELAB
1997-01-08 0:00 ` Kohler Markus
1997-01-08 0:00 ` David Emery
1997-01-09 0:00 ` Don Harrison
1997-01-10 0:00 ` Marky Mark
1997-01-14 0:00 ` Don Harrison
1997-01-08 0:00 ` Jon S Anthony
1997-01-08 0:00 ` Mark A Biggar
1997-01-09 0:00 ` Don Harrison
1997-01-10 0:00 ` Roy Phillips
1997-01-27 0:00 ` Nick Leaton
1997-01-28 0:00 ` matthew mclellan
1997-01-09 0:00 ` Don Harrison
1997-01-09 0:00 ` Robert Dewar
1997-01-10 0:00 ` Bart Samwel
1997-01-10 0:00 ` Robert Dewar
1997-01-10 0:00 ` Ken Garlington
1997-01-10 0:00 ` Norman H. Cohen
1997-01-13 0:00 ` Don Harrison
1997-01-13 0:00 ` Ken Garlington
1997-01-13 0:00 ` Norman H. Cohen
1997-01-13 0:00 ` Robert Dewar
1997-01-15 0:00 ` Ken Garlington
1997-01-17 0:00 ` Keith Thompson
1997-01-16 0:00 ` Keith Thompson
1997-01-16 0:00 ` Ken Garlington
1997-01-14 0:00 ` Michael F Brenner
1997-01-14 0:00 ` Don Harrison
1997-01-13 0:00 ` Robert Dewar
1997-01-14 0:00 ` Don Harrison
1997-01-10 0:00 ` Jon S Anthony
1997-01-13 0:00 ` Don Harrison
1997-01-13 0:00 ` Robert I. Eachus
1997-01-15 0:00 ` Don Harrison
1997-01-13 0:00 ` Don Harrison
1997-01-14 0:00 ` Jeff Carter
1997-01-15 0:00 ` Don Harrison
1997-01-17 0:00 ` Jon S Anthony
1997-01-17 0:00 ` Norman H. Cohen
1997-01-18 0:00 ` Patrick Doyle
1997-01-20 0:00 ` Jon S Anthony
1997-01-10 0:00 ` Jon S Anthony
1997-01-10 0:00 ` Matt Austern
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox