This proposal is directed towards the effort for conversion of jintaccs automated message software (jams) from the c programming language to the DOD directed ADA language. The effort will consist of a language construct compatibility analysis, and analysis of other potential problems in the conversion such as numerical accuracy and operating system differences, the study of parsing algorithms for possible automation of translation and a method for verification of the resulting ADA program. A concern for the verification of the ADA program will have ramifications in all phases of the effort. All resolution of language differences will be done in such a manner so as to allow techniques to be used in the validation of the functional equivalence of the ADA-jams program.
