* Ada 9X "safe subset" question
@ 1991-03-19 20:31 saharbaugh%roo.dnet
0 siblings, 0 replies; 2+ messages in thread
From: saharbaugh%roo.dnet @ 1991-03-19 20:31 UTC (permalink / 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
---------------------
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Ada 9X "safe subset" question
@ 1991-03-22 13:45 ryer
0 siblings, 0 replies; 2+ messages in thread
From: ryer @ 1991-03-22 13:45 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1991-03-22 13:45 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1991-03-22 13:45 Ada 9X "safe subset" question ryer
-- strict thread matches above, loose matches on Subject: below --
1991-03-19 20:31 saharbaugh%roo.dnet
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox