Text size
  • Small
  • Medium
  • Large
  • 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


    C. Tabacznyj


    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.


    PDF filePDF Version of this Paper (302kb)