Concept Lattices in Software Analysis
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.
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 |
| Publikationsjahr | 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 Verlag |
| Seiten | 272 - 287 |
| Serie | Lecture Notes in Computer Science ; 3626 |