Accession Number : ADA289655

Title :   Software Technology for Adaptable, Reliable Systems (STARS). AdaWise User's Manual. Alsys RISCAda, Sun OS 4.1.2 Implementation.

Descriptive Note : Technical rept.,

Corporate Author : UNISYS CORP RESTON VA RESTON TECHNOLOGY CENTER

Personal Author(s) : Barbasch, C. A.

PDF Url : ADA289655

Report Date : 02 SEP 1994

Pagination or Media Count : 44

Abstract : Ada is a high-level language with features to support program reliability and maintenance. An Ada compiler will detect many potential programming errors or non-portabilities that other languages would require a separate analysis tool to detect. However, the Ada language definition includes rules that Ada programs are required to obey, but that compilers are not required to enforce, either at compile-time or at execution-time. An Ada program that violates one or more of these rules can have unpredictable behavior, or can have different effects with different compilers or in different execution environments.

Descriptors :   *USER MANUALS, *ADA PROGRAMMING LANGUAGE, COMPUTER PROGRAMS, ENVIRONMENTS, TOOLS, COMPUTER PROGRAMMING, SEMANTICS, RELIABILITY, ERRORS, COMPILERS, HIGH LEVEL LANGUAGES, FRONT END PROCESSORS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE