From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!snorkelwacker.mit.edu!bu.edu!inmet!ryer
From: ryer@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Re: Ada 9X "safe subset" question
Message-ID: <20600090@inmet>
Date: 22 Mar 91 13:45:00 GMT
Nf-ID: #R:<9103192031.AA06595@winnie.fit.e:-35:inmet:20600090:000:409
Nf-From: inmet.inmet.com!ryer    Mar 22 08:45:00 1991
List-Id: <comp.lang.ada>


A "safe subset" of Ada is any subset that the verification contractor has
adequate technology to handle.  Some have told me that generics result
in unverifiable code, though this seems strange since compilers are able
to translate them to non-generic machine code.  It is unsafe to use any
class of storage unless you are able to prove that you won't run out
at a critical time.

Mike (flaming slightly) Ryer