From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,89f9122dd5615559
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news3.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.71.MISMATCH!xlned.com!feeder3.xlned.com!feeder.erje.net!feeder.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Presentations on-line - Ada&SPARK for Education&Research
Date: Fri, 05 Mar 2010 10:14:04 +0100
Organization: Adalog
Message-ID: <hmqi16$5nh$1@news.eternal-september.org>
References: <hmjvj6$orr$1@asgard.cs.kuleuven.be>
 <4b90babf$0$7625$9b4e6d93@newsspool1.arcor-online.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 5 Mar 2010 09:14:14 +0000 (UTC)
Injection-Info: feeder.eternal-september.org;
 posting-host="Dn22F68J9CHYFQQlT81DGA";
	logging-data="5873"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19bWbB1jjJsCPJn3hoo5Lc7"
User-Agent: Thunderbird 2.0.0.23 (Windows/20090812)
In-Reply-To: <4b90babf$0$7625$9b4e6d93@newsspool1.arcor-online.net>
Cancel-Lock: sha1:IejML9DtIJ05s/DiTp0gcGHy8rM=
Xref: g2news1.google.com comp.lang.ada:9420
Date: 2010-03-05T10:14:04+01:00
List-Id: <comp.lang.ada>

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.

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr