New York TRACON Demonstration of Program Recoding Software Translation and Verification Methodology Document.

This document is the concluding report in a project whose objective was to convert in a reasonably short period of time, machine dependent software to a higher order language capable of running on any general purpose computer. A subset of the New York N.Y. TRACON version A5.04 software was chosen for conversion, specifically, the tracking algorithms. The effort concluded with a demonstration of the converted software running on an IBM 3080 processor and was presented on a Sony display. The present UNIVAC ULTRA programs were converted to ADAPDL and the system implemented in PASCAL. Over 53,000 lines of ULTRA source code were converted to 47,000 lines of ADAPDL including commentary and then to 32,000 lines of PASCAL without commentary.