Software Reverse Engineering
Final rept. 1 Mar 1988-30 Apr 1990,
PENNSYLVANIA UNIV PHILADELPHIA SCHOOL OF ENGINEERING AND APPLIED SCIENCE
Pagination or Media Count:
The goal of this research was to develop algorithms to translate procedural languages such as FORTRAN and PASCAL to non procedural languages. Such algorithms are desirable for a number of reasons. Their semantics is easier to understand since they resemble a set of specification for action rather than the traditional flow of control. They are easier to modify since statements are not dependent on one another. It is easier to verify their correctness since standard theorem provers used for program verifications require programs to be in non procedural form. Lately, with the increase need in DoD of translating old programs to new languages such as Ada reverse software engineering. It is advantageous to reduce old program to a common non procedural form before translation from that form to the target language. This will permit the recapture of the programs semantics, make desired modification, check its correctness, etc. Accomplishments are 1 algorithms to translate FORTRAN programs to MODEL. FORTRAN representing a procedural language and MODEL represent a non procedural declarative language. 2 Algorithm to translate concurrent FORTRAN programs to MODEL.
- Computer Programming and Software