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