Classical optimizations in Ada
Mark H. Davis · ACM SIGAda Ada Letters · 1981
Ada contains several features which have posed problems for optimizers when included in other languages. These features are subprograms, exception handling, and multi-tasking. They are defined in Ada in such a way that classical optimizations, such as common sub-expression elimination and code motion, are minimally affected. This paper discusses the impact of Ada's semantics on classical optimizations and the information needed for the correct application of these transformations.