AIDA(ID:881/aid002)

intermediate representation language for Ada 


Dausmann et al Karlsruhe, 1980.
An intermediate representation language for Ada, was merged with TCOL.Ada to form Diana.

from Daussman 1980
"AIDA is An Intermediate Representation of Ada Programs originally designed for the Ada implementation at the University of Karlsruhne. It is based on the Formal Definition of Ada and is intended for representing Ada programs after semantic analysis, but before code generation. It does not refere to any implementation decisions neither of the analysis nor of the code generation phase. It may therefore be viewed as a proposal for other implementations. This document is a preliminary version of the AIDA Reference Manual which should in no way be considered either complete or final."



Related languages
Ada => AIDA   Implementation
AIDA => DIANA   Evolution of

References:
  • "AIDA Introduction and User Manual", M. Dausmann et al, U Karlsruhe, Inst fur Inform II, TR Nr 38/80. "AIDA Reference Manual", ibid, TR Nr 39/80, Nov 1980. view details
  • Dausmann, Manfred, et al. "Preliminary AIDA Reference Manual" Universitat Karlsruhe UK AIda-04 Feb 1980 view details Abstract: AIDA is An Intermediate Representation of Ada Programs originally designed for the Ada implementation at the University of Karlsruhne. It is based on the Formal Definition of Ada and is intended for representing Ada programs after semantic analysis, but before code generation. It does not refere to any implementation decisions neither of the analysis nor of the code generation phase. It may therefore be viewed as a proposal for other implementations. This document is a preliminary version of the AIDA Reference Manual which should in no way be considered either complete or final.