An empirical study into COBOL type inferencing

Science of Computer Programming

Volumn 40, Issue 2-3, 2001, Pages 189-211

  Van Deursen, Arie ^a   Moonen, Leon ^a  

^a CWI   (Netherlands)

Author keywords

Case study; Software maintenance; Static program analysis; Variable usage

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE MAINTENANCE; DATA ACQUISITION; DATA REDUCTION; PROGRAM DEBUGGING;

STATIC PROGRAM ANALYSIS;

COBOL (PROGRAMMING LANGUAGE);

EID: 0035400506     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(01)00015-6     Document Type: Article

References (24)

1. Aiken A., Fähndrich S., Foster S., Su Z. A toolkit for constructing type- and constraint-based program analyses. Second Internat. Workshop on Types in Compilation, TIC'98, Lecture Notes in Computer Science. vol. 1473:1998;78-96 Springer, Berlin.
2. van den Brand M.G.J., Sellink A., Verhoef C. Generation of components for software renovation factories from context-free grammars. Fourth Working Conf. on Reverse Engineering, WCRE'97. 1997;144-155 IEEE Computer Society, Silver Spring, MD.
3. Chen X.P., Tsai W.T., Joiner J.K., Gandamaneni H., Sun J. Automatic variable classification for COBOL programs. 18th Ann. Internat. Computer Software and Applications Conf. COMPSAC'94. 1994;432-437 IEEE Computer Society, Los Alamitos, CA.
4. A. van Deursen, T. Kuipers, Building documentation generators, Internat. Conf. on Software Maintenance, ICSM'99, IEEE Computer Society, 1999, pp. 40-49.
5. van Deursen A., Moonen L. Type inference for COBOL systems. Blaha M., Quilici A., Verhoef C. Fifth Working Conf. on Reverse Engineering, WCRE'98. 1998;220-230 IEEE Computer Society, Silver Spring, MD.
6. A. van Deursen, L. Moonen, Exploring legacy systems using types, Seventh Working Conf. on Reverse Engineering, WCRE'00, IEEE Computer Society Press, Silver Spring, MD, 2000.
7. P.H. Eidorff, F. Henglein, C. Mossin, H. Niss, M.H. Sorensen, M. Tofte, Anno Domini: From type theory to Year 2000 conversion tool, in: 26th Ann. Symp. on Principles of Programming Languages, POPL'99. ACM, New York, 1999.
8. Feijs L., Krikhaar R., van Ommering R. A relational approach to support software architecture analysis. Software Practice Exp. 28(4):1998;371-400.
9. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software. 1994;Addison-Wesley, Reading, MA.
10. Gravley J.M., Lakhotia A. Identifying enumeration types modeled with symbolic constants. Third Working Conf. on Reverse Engineering, WCRE'96. 1996;227-236 IEEE Computer Society Press, Silver Spring, MD.
11. Hart J., Pizzarello A. A scaleable, automated process for year 2000 system correction, in: 18th Internat. Conf. on Software Engineering, ICSE-18. 1996;475-484 IEEE, New York.
12. Holt R. Structural manipulations of software architecture using Tarski relational algebra. Blaha M., Quilici A., Verhoef C. Fifth Working Conf. on Reverse Engineering, WCRE'98. 1998;210-219 IEEE Computer Society, Silver Spring, MD.
13. ISO, Programming language COBOL: Proposed Revision of ISO 1989:1985. International Standardization Organization, 2000, Committee Draft 1.8, ISO/IEC CD 1.8 1989 : yyyy(E).
14. Kawabe K., Matsuo A., Uehara S., Ogawa A. Variable classification technique for software maintenance and application to the year 2000 problem. Nesi P., Lehner F. Second European Conf. on Software Maintenance and Reengineering, CSMR'98. 1998;44-50 IEEE Computer Society, Silver Spring, MD.
15. Kullbach B., Winter A. Querying as an enabling technology in software reengineering. Third European Conf. on Software Maintenance and Reengineering, CSMR'99. 1999;42-50 IEEE Computer Society, Silver Spring, MD.
16. Merlo E., Girard J.F., Hendren L., De Mori R. Multi-valued constant propagation analysis for user interface reengineering. Internat. J. Software Eng. Knowledge Eng. 5(1):1995;5-23.
17. Müller H.A., Orgun M.A., Tilley S.R., Uhl J.S. A reverse engineering approach to subsystem structure identification. J. Software Maintenance. 5(4):1993;181-204.
18. Nanda M.G., Bhaduri P., Oberoi S., Sanyal A. An application of compiler technology to the year 2000 problem. Software Practice Experience. 29(4):1999;359-377.
19. Newcomb P., Kottik G. Reengineering procedural into object-oriented systems. Second Working Conf. on Reverse Engineering, WCRE'95. 1995;237-249 IEEE Computer Society, Silver Spring, MD.
20. R. O'Callahan, D. Jackson, Lackwit: A program understanding tool based on type inference, in: 19th Internat. Conf. on Software Engineering, ICSE-97. ACM/IEEE, New York, 1997.
21. G. Ramalingam, J. Field, F. Tip, Aggregate structure identification and its application to program analysis, in: 26th Annu. Symposium on Principles of Programming Languages, POPL'99. ACM, New York, 1999.
22. M. Siff, T. Reps, Program generalization for software reuse, in: ACM SIGSOFT Symp. on the Foundations of Software Engineering, FSE'96, Software Engineering Notes 21(6), 1996, pp. 135-146.
23. Tarski A. On the calculus of relations. J. Symbolic Logic. 6:1941;73-89.
24. Wegman M., Zadeck K. Constant propagation with conditional branches. ACM Trans. Programming Languages Systems. 13(2):1991;18-210.