* Beaujolais prize question
@ 1997-08-19 0:00 Scott Moody
1997-08-20 0:00 ` Robert Dewar
0 siblings, 1 reply; 2+ messages in thread
From: Scott Moody @ 1997-08-19 0:00 UTC (permalink / raw)
Could anyone point me to web information
that described the Beaujolais prize for Ada 83, and now Ada 95?
I have lost the link, but thought it was off some FAQ somewhere.
I do remember the prize was about finding loopholes
in the language where you could 'add' a 'use' clause to
a correct program, and it would then not be correct (at runtime)
anymore. Or something like that.
Thanks.
scott moody
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Beaujolais prize question
1997-08-19 0:00 Beaujolais prize question Scott Moody
@ 1997-08-20 0:00 ` Robert Dewar
0 siblings, 0 replies; 2+ messages in thread
From: Robert Dewar @ 1997-08-20 0:00 UTC (permalink / raw)
scott said
<<I do remember the prize was about finding loopholes
in the language where you could 'add' a 'use' clause to
a correct program, and it would then not be correct (at runtime)
anymore. Or something like that.>>
That's right. The design point of Ada is that adding a use clause can make
a program illegal, but should not be able to change its meaning.
There is at least one violation in Ada 83, it is quite subtle. If you
don't know it, you will find it a challenge to concoct the example :-)
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1997-08-20 0:00 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-08-19 0:00 Beaujolais prize question Scott Moody
1997-08-20 0:00 ` Robert Dewar
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox