From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.5 required=3.0 tests=BAYES_05,FROM_ADDR_WS autolearn=no autolearn_force=no version=3.4.5-pre1 Date: 24 Mar 92 12:37:46 GMT From: psinntp!vitro.com!v7.vitro.com!eswgcc@uunet.uu.net (Carmen Castells-Scho field) Subject: Re: ASM/C to Ada Translation Message-ID: <1992Mar24.073746.123@v7.vitro.com> List-Id: In article <11675.29ca073e@vms.eurokom.ie>, adimaio@vms.eurokom.ie writes: > In article <1992Mar10.102026.5942@dayton.saic.com>, hopperj@dayton.saic.com w rites: >> I am posting this for a colleague Please respond to this address >> Hopperj@dayton.saic.com and i will forward information. >> >> I am looking for any tool/toolset that will aid me in extracting design >> information, data information, etc. necessary to convert various >> assembly languages to Ada. The assembly languages are varied and >> unique to the particular processor. >> >> I also need tools as described to convert C to Ada. Are there >> any machine translation tools to take C code and translate to >> Ada, and if so how can they be obtained? >> >> Thanks in advance for any information. >> >> Teresa McKelvey I'm leading an IR&D project working these issues. If you're intereste d in current capabilities (yes, we have some!) and future directions, e-mail or call me! Also, any discussion on topics related is more than welcome. -- ______________________________________________________________________ / Carmen Castells-Schofield Internet: carmencs@vitro.com __ / Vitro Corporation Voice: (301) 231-2187 \ / 14000 Georgia Ave. .................................... \ / Silver Spring, MD 20906-2972 : May the light within us all * : answer each the other's call :................................... ******************************************************************************* * Any opinions expressed herein are my own property, not those of whoever * * happens to be holding my paycheck at the moment. * *******************************************************************************