We combine type inference and concept analysis in order to gain insight into legacy software systems. Type inference for Cobol yields the types for variables and program parameters. These types are used to perform mathematical concept analysis on legacy systems. We have developed ConceptRefinery, a tool for interactively manipulating concepts. We show how this tools facilitates experiments with concept analysis, and lets reengineers employ their knowedge of the legacy system to refine the results of concept analysis.

Design Tools and Techniques (acm D.2.2), Coding Tools and Techniques (acm D.2.3), Distribution, Maintenance, and Enhancement (acm D.2.7), Processors (acm D.3.4), Specifying and Verifying and Reasoning about Programs (acm F.3.1), Automatic Programming (acm I.2.2)
Software (theme 1)
Software Engineering [SEN]
Software Analysis and Transformation

Kuipers, T, & Moonen, L.M.F. (2000). Types and concept analysis for legacy systems. Software Engineering [SEN]. CWI.