Symbolic Analysis as a Basis for Program Comprehension, Fachbücher von Erkki Laitila

"Symbolic Analysis as a Basis for Program Comprehension" ist ein Fachbuch, das sich mit der Methodologie der Programmverständnisforschung befasst. Angesichts der wachsenden Menge an Quellcode in kritischen Anwendungen weltweit, bietet das Buch eine strukturierte Herangehensweise in vier Phasen. Die erste Phase, GrammarWare, transformiert den Programmcode in eine symbolische Form, die als Grundlage für das Modell dient, das in der zweiten Phase, ModelWare, entwickelt wird. Hier wird das Konzept eines 'Atoms' eingeführt, um die Vorteile von Objekten für die Abstraktion und die Ausdruckskraft von Prolog zu kombinieren. In der dritten Phase, SimulationWare, wird eine symbolische abstrakte Maschine implementiert, die mit traditionellen Turing-Maschinen vergleichbar ist und symbolische Analysen ermöglicht. Die letzte Phase, KnowledgeWare, konzentriert sich auf die Sammlung von Wissen zur Codeinspektion, Fehlererkennung und Verifizierung aktueller Operationen. Die Methodologie ist in Visual Prolog programmiert und bietet Unterstützung für Wartungsaufgaben in Java-Code.