Performance Optimization in ADA.

Abstract : This report describes the research performed to develop the first prototype of the SPECWARE system. SPECWARE supports the systematic construction of formal specifications and their stepwise refinement into programs. The formal specification language developed under the research, SLANG, is the substrate for further SPECWARE development currently in progress. The research resulted in a software development prototype offering machine-mediated production of optimized, real-time Ada code.