Re: Presentations on-line - Ada&SPARK for Education&Research

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

J-P. Rosen schrieb:
> Georg Bauhaus a écrit :
>> True?  With some effort, it seems possible to break an Ada
>> monitor implemented as a protected object.
>>
> With enough pointers, you can make anything unreliable ;-), but the
> important point in your remark is "with some effort". If you make a
> special effort to publicly export something that is meant to be
> protected, it ceases to be protected. But this can happen only if the
> author of the PO provides facility for doing that; it cannot happen due
> to misuse on the client side.

Thanks, this is wording I had been looking for.