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