Um Komponenten zu beschreiben, die einem Uebersetzer in einem
Uebersetzungslauf nicht in Quelltext vorliegen, weil sie entweder
als Bibliotheken von Drittanbietern nur in binaerer Form
verfuegbar
sind, oder weil der Uebersetzer aus Kapazitaetsgruenden ihren
Quelltext nicht in einen Uebersetzungslauf mit einbeziehen kann,
wurde eine Beschreibungssprache entwickelt. Mit ihr lassen sich
wichtige Eigenschaften der extern Komponenten beschreiben und dem
Uebersetzer zur Verfuegung stellen, so dass Programmanalysen das
Verhalten von Fragmenten der externen Komponenten mit
beruecksichtigen koennen
