Janus/Ada 95

Janus/Ada 95 supports multiple levels of optimization depending on the programmer's needs. In its safest modes, most uninitialized variables and dangling pointers will be detected before they do any damage. The compiler can be configured to generate all Ada checks (without optimizing any checks away) while other optimizations can still be performed.

When performance is of the essence, the compiler can aggressively eliminate unnecessary checks. For the fastest processing, all elaboration stack and virtually every constraint check can be suppressed.

Ada 83 is still entirely supported, allowing programmers the flexibility to utilize features of Ada 83 not required in Ada 95.