Title :
Type inference for COBOL systems
Author :
Van Deursen, Arie ; Moonen, Leon
Author_Institution :
CWI, Amsterdam, Netherlands
Abstract :
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
Keywords :
COBOL; inference mechanisms; systems re-engineering; type theory; COBOL fragments; prototype type inference tool; software reengineering; type inference; Banking; Lab-on-a-chip; Loans and mortgages; Prototypes; Reverse engineering; US Department of Commerce;
Conference_Titel :
Reverse Engineering, 1998. Proceedings. Fifth Working Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-8186-8967-6
DOI :
10.1109/WCRE.1998.723192