From: gore@eecs.nwu.edu (Jacob Gore)
Subject: Re: Vendor introduces "safe" Ada subset
Date: 15 Oct 88 18:43:36 GMT [thread overview]
Message-ID: <3930021@eecs.nwu.edu> (raw)
In-Reply-To: 6073@june.cs.washington.edu
/ comp.lang.ada / jon@june.cs.washington.edu (Jon Jacky) / Oct 14, 1988 /
>... To achieve Ada integrity, Spark has introduced several restrictions. It
>does not allow the use of tasks, exceptions or generic units. Access types
>are also omitted, as these are considered unacceptable in real-time safety
>critical applications. ... Certain features - such as "go to" statements
>and "declare" statements - are totally barred.
Interesting. Removing EXCEPTIONS to achieve safe programming?
Sounds like what's left is Modula-2 with overloading (or is that "barred"
also?).
Jacob Gore Gore@EECS.NWU.Edu
Northwestern Univ., EECS Dept. {oddjob,gargoyle,att}!nucsrl!gore
next prev parent reply other threads:[~1988-10-15 18:43 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1988-10-14 16:06 Vendor introduces "safe" Ada subset Jon Jacky
1988-10-15 18:43 ` Jacob Gore [this message]
1988-10-18 14:17 ` 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