Performance Optimization in ADA.
Final rept. Sep 91-Nov 94,
KESTREL DEVELOPMENT CORP PALO ALTO CA
Pagination or Media Count:
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.
- Computer Programming and Software