comp.lang.ada
 help / color / mirror / Atom feed
From: willett@cbnewsl.cb.att.com (david.c.willett)
Subject: Ada Compiler Validation
Date: Thu, 11 Mar 1993 16:22:25 GMT
Date: 1993-03-11T16:22:25+00:00	[thread overview]
Message-ID: <1993Mar11.162225.20098@cbnewsl.cb.att.com> (raw)


A collegue and I were spectulating how the validation process works and why it costs so
much. Would someone care to post a description of the process with Rough Order of Magnitude
cost figures?

Thanks.

-- 
Dave Willett          AT&T Federal Systems Advanced Technologies
A Theoretical Physicist is one whose existence is postulated to make
the numbers balance, but is never observed in the laboratory.



             reply	other threads:[~1993-03-11 16:22 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1993-03-11 16:22 david.c.willett [this message]
  -- strict thread matches above, loose matches on Subject: below --
1991-02-08 12:56 Ada Compiler Validation "Thomas H. Stripe  255-4472", 513
1991-02-06  1:26 Ada compiler validation Michael J. North
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox