KIT | KIT-Bibliothek | Impressum

Concept Lattices in Software Analysis

Snelting, Gregor

Abstract:
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and dynamic analysis of software artefacts is known. This overview summarizes important papers from the last ten years, and presents three methods in some detail:
1. methods to extract classes and modules from legacy software;
2. the Snelting/Tip algorithm for application-specific, semantics-preserving refactoring of class hierarchies;
3. Ball's method for infering dynamic dominators and control flow regions from program traces. We conclude with some perpectives on further uses of concept lattices in software technology.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 2005
Sprache Englisch
Identifikator ISBN: 978-3-540-27891-7
ISSN: 0302-9743
KITopen ID: 1000017655
Erschienen in Formal concept analysis - foundations and applications. Ed.: B. Ganter
Verlag Springer, Berlin
Seiten 272 - 287
Serie Lecture Notes in Computer Science ; 3626
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page