From: JP Thornley <jpt@diphi.demon.co.uk>
Subject: Re: Elaboration order
Date: 1996/03/23
Date: 1996-03-23T00:00:00+00:00 [thread overview]
Message-ID: <696076745wnr@diphi.demon.co.uk> (raw)
In-Reply-To: 4ip58c$gqo@cliffy.lfwc.lockheed.com
In article: <4ip58c$gqo@cliffy.lfwc.lockheed.com>
l117593@cliffy.lfwc.lockheed.com (Cordes MJ) writes:
[snip]
> 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.
>
> Is there anybody out there who is doing analysis on elaboration order?
> : - Bob
>
> --
> ---------------------------------------------------------------------
> Michael J Cordes
> Phone: (817) 935-3823
> Fax: (817) 935-3800
> EMail: CordesMJ@lfwc.lockheed.com
> ---------------------------------------------------------------------
>
>
FWIW, the safety critical code we write uses a subset that avoids any
elaboration order dependencies (and there is a tool to ensure conformance to
the subset).
--
------------------------------------------------------------------------
| JP Thornley EMail jpt@diphi.demon.co.uk |
------------------------------------------------------------------------
next prev parent reply other threads:[~1996-03-23 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 ` 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 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 ` Ken Garlington
1996-03-18 0:00 ` Ted Dennison
1996-03-19 0:00 ` Michel Gauthier
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
[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 ` 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
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 [this message]
1996-03-25 0:00 ` Robert Dewar
1996-03-26 0:00 ` JP Thornley
1996-03-19 0:00 ` Chris McKnight
1996-03-21 0:00 ` Ken Garlington
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
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-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 ` 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