Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Abstract Clustering for Program Comprehension

    4th Irish Workshop on Formal Methods

    Maynooth, Ireland. 5th-6th July 2000

    AUTHORS

    C. Tabacznyj

    ABSTRACT

    A new formal framework for program comprehension, Abstract Clustering, is presented.

    To manage the process of semantic-based modularisation of a software system from its source code, Abstract Interpretation is used to find a partition rather than measures.

    The result is a formal, semantic-based framework that offers a new approach to program comprehension.

    PAPER FORMATS

    PDF filePDF Version of this Paper (302kb)