Software Technology for Adaptable, Reliable Systems (STARS). AdaWise User's Manual. Alsys RISCAda, Sun OS 4.1.2 Implementation.
UNISYS CORP RESTON VA RESTON TECHNOLOGY CENTER
Pagination or Media Count:
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.
- Computer Programming and Software