DIANA (Descriptive Intermediate Attributed Notation for Ada) is an intermediate language used to represent the semantics of an Ada program.