Programm-Manager-Licht



Die Programm – Manager Licht beschäftigt sich mit Methoden zur (MATIC) Analyse von Computer – Prog Rahmen .

Die Methoden der Programm – Manager Licht erlaub Programmierern ein besseres Deschamps Komplex Programm, ebenso Werden Sie in den von Übersetzern und Interpretern genutzt Optimierungsverfahren angewendet. Die Abhängigkeiten swiss Unterprogrammer und Verwendungsnachweis und Aufrufstruktur können in einem statischen Aufrufbaum ermittelt werden .

Kluge Methoden

  • Abstrakte Interpretation
  • Constraint-basierte Analyse
  • Datenflussanalyse
  • Typ – und Energiesysteme

Siehe auch

  • Abhängigkeitsanalyse
  • Statische Code-Analyse

Literatur

  • Flemming Nielson, Hanne R. Nielson, Chris Hankin: Grundlagen der Programmanalyse , Springer, 1999, ISBN 3-540-65410-0 , Webseite zum Buch