Documenting software systems using types


We show how hypertext-based program understanding tools can achieve new levels of abstraction by using inferred type information for cases where the subject software system is written in a weakly typed language. We propose TYPEEXPLORER, a tool for browsing COBOL legacy systems based on these types. The paper addresses (1) how types, an invented abstraction… (More)
DOI: 10.1016/j.scico.2005.10.006


5 Figures and Tables