Vogel, Gunther2023-05-222023-05-222006https://dl.gi.de/handle/20.500.12116/41610Der 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.deText/Journal Article0720-8928