Author_Institution :
NPL, Teddington, UK
Abstract :
Low-Ada combines the use of Ada with the method of low-level code review. The author discusses the properties which result from this combination. He describes: unassigned value access; types with discriminants; storage allocation and testing
Keywords :
Ada; program compilers; software reliability; low-level code review; software reliability; storage allocation; testing; types with discriminants; unassigned value access;
Conference_Titel :
High Integrity Ada, IEE Colloquium on
Conference_Location :
London
