Reverse Engineering of Cobol Programs into Prolog Programs

Abstract

In this paper we examine how an executable logic speciication can be obtained from COBOL programs via reverse engineering, which is semantically equivalent to the original source. For this purpose we deene a speciication language COPRA and show how various imperative constructs, such as GOTOs and subroutine calls, can be handled in this language. This speciication is generated automatically and may serve as a starting point for a higher-level modiication of the source code.

Cite this paper

@inproceedings{Geske1994ReverseEO, title={Reverse Engineering of Cobol Programs into Prolog Programs}, author={Ulrich Geske}, year={1994} }