2013 20th Working Conference on Reverse Engineering (WCRE) (1998)
Oct. 12, 1998 to Oct. 14, 1998
L. Moonen , CWI
A. Van Deursen , CWI
Types are a good starting point for various software-reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adequate type system (such as COBOL). To solve this problem, we propose a method of automated type inference for these languages. The main ingredients are that if variables are compared using some relational operator their types must be the same; likewise, if an expression is assigned to a variable, the type of the expression must be a subtype of that of the variable. We present the formal type system and inference rules for this approach, show their effect on various real life COBOL fragments, describe the implementation of our ideas in a prototype type inference tool for COBOL, and discuss a number of applications.
L. Moonen, A. Van Deursen, "Type Inference for COBOL Systems", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 220, 1998, doi:10.1109/WCRE.1998.723192