Zeitschriftenartikel
Statische Extraktion von Protokollen
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Dateien
Zusatzinformation
Datum
2006
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Geselllschaft für Informatik e.V.
Zusammenfassung
Der vorliegende Artikel stellt Möglichkeiten zur statischen Analyse von Programmabläufen vor. Die Regeln und Konventionen dieser Abläufe werden unter dem Begriff des Protokolls zusammengefasst.