Abstract Clustering for Program Comprehension

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.

Content

Author and article information

Contributors

Christophe Tabacznyj

Conference

Publication date: July 2000

Publication date (Print): July 2000

Pages: 1-16

Affiliations

[0001]Leti (CEA Technologies Avancées), DEIN/SLA (Bât. 528), F 91191 Gif-sur-Yvette

Loria (Université Henri Poincaré Nancy 1), BP 239, F 54506 Vandoeuvre-lès-Nancy

Article

DOI: 10.14236/ewic/IWFM2000.7

SO-VID: 2742d842-257e-4549-b094-6c63954f7e7d

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: 4th Irish Workshop on Formal Methods

Conference acronym: IWFM

Conference number: 4

Conference location: Maynooth, Ireland

Conference date: 5th-6th July 2000

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/IWFM2000.7

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Abstract Clustering for Program Comprehension

Abstract