Accession Number : ADA305759

Title :   Performance Optimization in ADA.

Descriptive Note : Final rept. Sep 91-Nov 94,

Corporate Author : KESTREL DEVELOPMENT CORP PALO ALTO CA

Personal Author(s) : Jullig, Richard ; Srinivas, Y. V.

PDF Url : ADA305759

Report Date : JUL 1995

Pagination or Media Count : 95

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.

Descriptors :   *OPTIMIZATION, *ADA PROGRAMMING LANGUAGE, COMPUTER PROGRAMS, ALGORITHMS, REAL TIME, SPECIFICATIONS, PROTOTYPES, CODING, CONSTRUCTION, KNOWLEDGE BASED SYSTEMS, COMPUTER PROGRAM RELIABILITY.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE