DIANA is an intermediate language suited to describe Ada programs in Ada programming environments. By its definition, it is best viewed as an abstract data type.

• DIANA是Ada编程环境中用来描述Ada程序的一种中间语言,它已被许多Ada环境所采用。