* Mechanism for calls (WAS: Is ADA as good for graphics programming as C?
@ 1997-07-06 0:00 Robert Dewar
0 siblings, 0 replies; only message in thread
From: Robert Dewar @ 1997-07-06 0:00 UTC (permalink / 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!
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1997-07-06 0:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-07-06 0:00 Mechanism for calls (WAS: Is ADA as good for graphics programming as C? Robert Dewar
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox