* Ada compiler validation
@ 1991-02-06 1:26 Michael J. North
0 siblings, 0 replies; 3+ messages in thread
From: Michael J. North @ 1991-02-06 1:26 UTC (permalink / raw)
Could someone give me some pointers as to whom I could go to
get a compiler validated and how much it might might cost?
--
Michael J. North
Cornell Information Technologies
315 CCC Garden Avenue mjn@eagle.cnsf.cornell.edu
Ithaca, NY 14853-2601 607/255-6695
^ permalink raw reply [flat|nested] 3+ messages in thread
* RE: Ada Compiler Validation
@ 1991-02-08 12:56 "Thomas H. Stripe 255-4472", 513
0 siblings, 0 replies; 3+ messages in thread
From: "Thomas H. Stripe 255-4472", 513 @ 1991-02-08 12:56 UTC (permalink / raw)
Michael,
>> Could someone give me some pointers as to whom I could go to
>> get a compiler validated and how much it might might cost?
Contact Mike Hill at (513) 429-8493.
Tom Stripe
^ permalink raw reply [flat|nested] 3+ messages in thread
* Ada Compiler Validation
@ 1993-03-11 16:22 david.c.willett
0 siblings, 0 replies; 3+ messages in thread
From: david.c.willett @ 1993-03-11 16:22 UTC (permalink / 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.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~1993-03-11 16:22 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1993-03-11 16:22 Ada Compiler Validation david.c.willett
-- strict thread matches above, loose matches on Subject: below --
1991-02-08 12:56 "Thomas H. Stripe 255-4472", 513
1991-02-06 1:26 Ada compiler validation Michael J. North
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox