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