Abstract clustering for program comprehension

Authors:
Christophe Tabacznyj
Affiliations:
Leti (CEA - Technologies Avancées), DEIN/SLA and Loria (Université Henri Poincaré - Nancy 1), Vandoeuvre-lès-Nancy
Venue:
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Year:
2000

Citing 11
Cited 0

Topology via logic

Topology via logic
Types as abstract interpretations

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Retargetable C Compiler: Design and Implementation

A Retargetable C Compiler: Design and Implementation
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs

SAS '96 Proceedings of the Third International Symposium on Static Analysis
Abstract Interpretation Based Static Analysis Parameterized by Semantics

SAS '97 Proceedings of the 4th International Symposium on Static Analysis
Automatic Determination of Communication Topologies in Mobile Systems

SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Using Clustering Algorithms in Legacy Systems Remodularization

WCRE '97 Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE '97)
Using Automatic Clustering to Produce High-Level System Organizations of Source Code

IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension

Quantified Score

Hi-index	0.00

Visualization

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.