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

摘要

Ada is a high-level language with features to support program reliability andmaintenance. 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.