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.

Report Date:

1994-09-02

Pagination or Media Count:

44.0

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