From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Elaboration order
Date: 1996/03/20
Date: 1996-03-20T00:00:00+00:00 [thread overview]
Message-ID: <dewar.827341538@schonberg> (raw)
In-Reply-To: 4ip58c$gqo@cliffy.lfwc.lockheed.com
"Thanks for the input, but that doesn't help me quantify the risk. Scanning
the machine code for a complex application (assume over 200 packages), looking
for a class of error which neither of us has seen, does not give me any
confidence that we would catch the error if it did show up. Some sort
of automated verification is a possibility, but I need a better understanding
of the risk before I propose a new tool. And getting a grasp on the risk
was the intent of my original post."
To minimize this risk, minimize or even eliminate ALL elaboration (it is
not out of the question to rquire pragma Preelaborate in all units for
a safety-critical application).
next prev parent reply other threads:[~1996-03-20 0:00 UTC|newest]
Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <314701A1.469D@lfwc.lockheed.com>
[not found] ` <1996Mar14.021345.9856@enterprise.rdd.lmsc.lockheed.com>
[not found] ` <314829CD.4FA9@lfwc.lockheed.com>
1996-03-15 0:00 ` Elaboration order Tucker Taft
1996-03-15 0:00 ` Ken Garlington
1996-03-16 0:00 ` Ted Dennison
1996-03-16 0:00 ` Joe Wierzbowski
1996-03-26 0:00 ` AdaWorks
1996-03-26 0:00 ` Robert A Duff
1996-03-26 0:00 ` Robert Dewar
1996-03-26 0:00 ` IO in Pure packages, debugging Laurent Guerby
1996-03-26 0:00 ` Elaboration order Robert A Duff
1996-03-26 0:00 ` Robert Dewar
1996-03-26 0:00 ` Laurent Guerby
1996-03-26 0:00 ` Robert A Duff
1996-03-15 0:00 ` Robert I. Eachus
1996-03-15 0:00 ` Robert Dewar
1996-03-18 0:00 ` Ted Dennison
1996-03-18 0:00 ` Ken Garlington
1996-03-19 0:00 ` Michel Gauthier
[not found] ` <Do8JDv.A2v@world.std.com>
[not found] ` <31494143.3825@lfwc.lockheed.com>
1996-03-15 0:00 ` Mark A Biggar
1996-03-18 0:00 ` Ken Garlington
1996-03-19 0:00 ` Chris McKnight
1996-03-21 0:00 ` Ken Garlington
1996-03-19 0:00 ` Norman H. Cohen
1996-03-20 0:00 ` Cordes MJ
1996-03-19 0:00 ` Robert Dewar
1996-03-21 0:00 ` Ken Garlington
1996-03-21 0:00 ` Cordes MJ
1996-03-20 0:00 ` Robert A Duff
1996-03-20 0:00 ` Cordes MJ
1996-03-20 0:00 ` Robert Dewar [this message]
1996-03-21 0:00 ` Ken Garlington
1996-03-20 0:00 ` Robert A Duff
1996-03-22 0:00 ` Cordes MJ
1996-03-23 0:00 ` JP Thornley
1996-03-25 0:00 ` Robert Dewar
1996-03-26 0:00 ` JP Thornley
1996-03-15 0:00 ` Robert A Duff
1996-03-18 0:00 ` Norman H. Cohen
[not found] ` <EACHUS.96Mar18143219@spectre.mitre.org>
1996-03-18 0:00 ` Robert Dewar
1996-03-19 0:00 ` Ted Dennison
1996-03-18 0:00 ` Robert Dewar
1996-03-20 0:00 ` David Emery
1996-03-20 0:00 ` Robert I. Eachus
1996-03-22 0:00 ` Robert I. Eachus
1996-03-22 0:00 ` Robert I. Eachus
1996-03-20 0:00 ` DenReimer
1996-03-20 0:00 ` Robert A Duff
1996-03-20 0:00 ` Norman H. Cohen
1996-03-20 0:00 ` Robert Dewar
1996-03-20 0:00 ` Norman H. Cohen
1996-03-20 0:00 ` Tucker Taft
1999-11-15 0:00 Elaboration Order Wolf-Dieter Heker
1999-11-15 0:00 ` Robert Dewar
1999-11-16 0:00 ` Wolf-Dieter Heker
1999-11-16 0:00 ` Robert Dewar
1999-11-20 0:00 ` Simon Wright
1999-11-22 0:00 ` Robert Dewar
1999-11-23 0:00 ` Mats Weber
1999-11-16 0:00 ` Robert Dewar
1999-11-16 0:00 ` David C. Hoos, Sr.
1999-11-15 0:00 ` Jean-Pierre Rosen
1999-11-15 0:00 ` Robert Dewar
1999-11-16 0:00 ` Jean-Pierre Rosen
1999-11-20 0:00 ` Simon Wright
-- strict thread matches above, loose matches on Subject: below --
1996-03-18 0:00 Elaboration order Jean-Pierre Rosen
1996-03-21 0:00 ` Ken Garlington
[not found] <DoDMLL.1F9@world.std.com>
1996-03-18 0:00 ` Chris McKnight
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox