DIANA (idioma intermedio)

DIANA ( Descriptive Intermediate Attributed Notation for Ada ) es un lenguaje intermedio que se utiliza para representar la semántica de un programa Ada .

Originalmente, se diseñó como una interfaz entre el front-end (análisis sintáctico) y el middle-end (análisis semántico) del compilador , por un lado, y el back-end (generación y optimización de código), por otro. También se utiliza como representación interna (IR) por otras herramientas de lenguaje.

DIANA también es utilizada por PL/SQL , que se basa en Ada.

DIANA es un tipo de dato abstracto ; sus implementaciones concretas se definen utilizando el lenguaje de especificación IDL .

DIANA desciende de TCOL y AIDA , representaciones anteriores de programas Ada.

El subconjunto Ada-0 de Ada en Karlsruhe (1980) inicialmente usaba AIDA, ^{[ 1 ]} pero posteriormente AIDA fue reemplazado por DIANA. El sistema completo de compilación de Ada de Karlsruhe también usaba DIANA y la Representación Externa IDL para la serialización entre el middle-end y el back-end de generación de código.