From: saharbaugh%roo.dnet@WINNIE.BERKELEY.EDU
Subject: Ada 9X "safe subset" question
Date: 19 Mar 91 20:31:26 GMT [thread overview]
Message-ID: <9103192031.AA06595@winnie.fit.edu> (raw)
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
---------------------
next reply other threads:[~1991-03-19 20:31 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1991-03-19 20:31 saharbaugh%roo.dnet [this message]
-- strict thread matches above, loose matches on Subject: below --
1991-03-22 13:45 Ada 9X "safe subset" question ryer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox