Documenting software systems using types

  • Van Deursen A
  • Moonen L
  • 9


    Mendeley users who have this article in their library.
  • 7


    Citations of this article.


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, can be presented meaningfully to software re-engineers; (2) the implementation techniques used to construct TypeExplorer; and (3) the use of TypeExplorer for understanding legacy systems, at the level of individual statements as well as at the level of the software architecture - which is illustrated by using TypeExplorer to browse an industrial Cobol system of 100,000 lines of code. © 2005 Elsevier B.V. All rights reserved.

Author-supplied keywords

  • Documentation generation
  • Hypertext
  • Program analysis
  • Program understanding
  • Software exploration
  • Software maintenance
  • Type inference
  • Variable usage

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free