Bitte wählen Sie ihr Lieferland und ihre Kundengruppe
AIDA ist eine Zwischendarstellung von ADA-Programmen, die fuer die Implementierung von ADA an der Univ. Karlsruhe entwickelt wurde. Sie beruht auf der formalen Definition von ADA und ist fuer die Darstellung von ADA-Programmen nach der semantischen Analyse aber vor der Codeerzeugung bestimmt. Diese Sprache bezieht sich nun weder auf eine Implementationsentscheidung noch auf die Analyse oder die Codeerzeugungsphase und kann daher fuer andere Implementationen genutzt werden. Das Referenzhandbuch enthaelt nun die lexikalischen Elemente, Deklarationen und Typen, Namen, Variablen, Ausdruecke, Anweisungen, deklarative Teile und Unterprogramme, Module, Lesbarkeitsregeln, Tasks, Programmstruktur und Uebersetzungseinheiten, Ausnahmen, erzeugende Programmeinheiten, Darstellungsspezifikation und implementationsabhaengige Eigenschaften, Ein/Ausgabe, Attribute eines AIDA-Baumes, Bedeutung der Attribute.