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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 02, 1994
Accession Number
ADA289655

Entities

People

  • C. A. Barbasch

Organizations

  • Unisys

Tags

DTIC Thesaurus Topics

  • Air Force
  • Compilers
  • Computer Programming
  • Computer Programs
  • Contractors
  • Contracts
  • Directories
  • Environment
  • Errors
  • Governments
  • Guarantees
  • Language
  • Law
  • Operating Systems
  • Standards
  • Test And Evaluation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering.
  • Software Verification and Validation.