comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Beaujolais prize question
Date: 1997/08/20
Date: 1997-08-20T00:00:00+00:00	[thread overview]
Message-ID: <dewar.872088798@merv> (raw)
In-Reply-To: 9708192203.AA10874@plato.ds.boeing.com


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 :-)





      reply	other threads:[~1997-08-20  0:00 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-08-19  0:00 Beaujolais prize question Scott Moody
1997-08-20  0:00 ` Robert Dewar [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox