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=1.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!WINNIE.BERKELEY.EDU!saharbaugh%roo.dnet
From: saharbaugh%roo.dnet@WINNIE.BERKELEY.EDU
Newsgroups: comp.lang.ada
Subject: Ada 9X "safe subset" question
Message-ID: <9103192031.AA06595@winnie.fit.edu>
Date: 19 Mar 91 20:31:26 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>

The Ada 9X Requirements, December 1990, section 9.3, pg 47
mentions "safe subset" for safety-critical and trusted software,
as examples.
My question is: Does there exist a definition(s) of "safe subset(s)"
of Ada for any or various domains?
If such exist then I would appreciate pointer(s) to them.
If they don't exist WE could postulate some definitions
on this BB.
sam harbaugh  saharbaugh%ROO.DNET@WINNIE.FIT.EDU       
---------------------