From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: GNAT Programming System availability ?
Date: Sat, 23 Nov 2002 18:02:48 GMT
Date: 2002-11-23T18:02:48+00:00 [thread overview]
Message-ID: <wcc3cps17w7.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 3DDFBD5C.8D56AC10@adaworks.com
Richard Riehle <richard@adaworks.com> writes:
> How can one get more information about SofCheck? What does
> SofCheck do? Are they in the Ada business?
Hi, Richard.
SofCheck, Inc. is a new company owned by Tucker Taft, Mireille Gart,
Sheri Bernstein, and me, all former employees of AverCom (which was
previously AverStar, which was previously Intermetrics).
Yes, we are in the Ada business. We sell and support the AdaMagic
compiler technology, formerly owned by AverCom. This includes an
Ada-to-C translator, which can be used as an Ada compiler on any target
that has a C compiler. AdaMagic also supports compilers targeted
directly to machine code for various machines.
SofCheck is also in the business of static analysis tools for various
languages, including Ada.
For more information, contact Tucker Taft, President of SofCheck
(stt@sofcheck.com).
- Bob
next prev parent reply other threads:[~2002-11-23 18:02 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-11-19 12:01 GNAT Programming System availability ? Simon Clubley
2002-11-19 13:12 ` Arnaud Charlet
2002-11-20 3:21 ` Victor Porton
2002-11-20 10:21 ` Preben Randhol
2002-11-20 10:23 ` chris.danx
2002-11-20 14:15 ` Robert A Duff
2002-11-23 17:39 ` Richard Riehle
2002-11-23 18:02 ` Robert A Duff [this message]
2002-11-25 9:40 ` GNAT bug reports (Was: GNAT Programming System availability ?) Arnaud Charlet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox