From: young@ICSC.UCI.EDU (Michal Young)
Subject: Re: Production Quality Ada Compiler Criteria
Date: Wed, 16-Apr-86 04:57:55 EST [thread overview]
Date: Wed Apr 16 04:57:55 1986
Message-ID: <8604160549.AA29131@ucbvax.berkeley.edu> (raw)
In-Reply-To: 8604151812.AA02928@aerospace.arpa
> 5.6.3 (M) The compiler shall issue a warning message for violation of a
> constraint exception which is always raised at run-time.
A compiler meeting this requirement must solve the halting problem. ;-)
--Michal Young
Arpa/CSnet: young@uci
U.C. Irvine
next prev parent reply other threads:[~1986-04-16 9:57 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1986-04-15 18:09 Production Quality Ada Compiler Criteria hogan
1986-04-16 9:57 ` Michal Young [this message]
-- strict thread matches above, loose matches on Subject: below --
1986-04-16 21:21 Stavros Macrakis
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox