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
Lines: 10

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       
---------------------