DocumentCode :
1975019
Title :
Type inference for COBOL systems
Author :
Van Deursen, Arie ; Moonen, Leon
Author_Institution :
CWI, Amsterdam, Netherlands
fYear :
1998
fDate :
12-14 Oct 1998
Firstpage :
220
Lastpage :
230
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Reverse Engineering, 1998. Proceedings. Fifth Working Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-8186-8967-6
Type :
conf
DOI :
10.1109/WCRE.1998.723192
Filename :
723192
Link To Document :
بازگشت