From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Mechanism for calls (WAS: Is ADA as good for graphics programming as C?
Date: 1997/07/06
Date: 1997-07-06T00:00:00+00:00 [thread overview]
Message-ID: <dewar.868190442@merv> (raw)
Donovan said
<<the book I've got says that programs that depend on the mechanism used are
erroneous. I would take a bloody good compiler to raise an error on a
program that does it.>>
The book you have is either itself an old Ada 83 book, or is confused.
This was a rule in Ada 93, but is definitely NOT a rule in Ada 95!
John Nagle said
<<It can be done. See my "Practical Program Verification">>
referring to "bloody good compiler ..." above
No it can't, not in the general case. It's equiavalent to the halting
problem. Secondly, the rule, it is an Ada 83 rule, is a very weak one,
since effect is not defined. it is precisely because the rule is so
bogus that it was removed in Ada 95!
reply other threads:[~1997-07-06 0:00 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox