Diana past, present, and future.- The intermediate language Diana design and implementation.- A formal definition of Diana.- Dianette A pragmatic variant of Diana.- The design of air and its application to ada separate compilation.- The use of Diana in compilers, language transformers, formatters, and debuggers.- The DIANA interfacer.- Designing and testing interfaces for portable software: Ada TEXT_IO as an example.- Databases in software development: The Ada programming support environment.- The Toolpack/Ist approach to extensibility in software environments.Springer Book Archives