DIANA , la notación con atributos intermedios descriptivos de Ada , es un lenguaje intermedio que se utiliza para representar la semántica de un programa Ada . Originalmente fue diseñado como una interfaz entre el front-end (análisis sintáctico) y el medio (análisis semántico) del compilador por un lado y el back-end (generación de código y optimización) por el otro. También se utiliza como representación interna por otras herramientas del lenguaje.
DIANA es un tipo de datos abstracto; sus implementaciones concretas se definen utilizando el lenguaje de especificación IDL .
El subconjunto Ada-0 de Ada en Karlsruhe (1980) usó primero AIDA, [1] pero luego AIDA fue reemplazado por DIANA. El sistema de compilación completo de Karlsruhe Ada también utilizó DIANA y la representación externa IDL para la clasificación entre el extremo intermedio y el back-end generador de código.