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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3ccb707f4c91a5f2
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Java vs Ada 95 (Was Re: Once again,
 Ada absent from DoD SBIR solicitation)
Date: 1996/11/22
Message-ID: <dewar.848712150@merv>#1/1
X-Deja-AN: 198235856
references: <325BC3B3.41C6@hso.link.com>
 <EACHUS.96Nov1103759@spectre.mitre.org>  <E07Dwq.5L@world.std.com>
 <55gkch$gg6@fozzie.sun3.iaf.nl>  <E0B6CL.84r@world.std.com>
 <dewar.847053681@merv>  <1996Nov4.072757.1@eisner>
 <EACHUS.96Nov4182340@spectre.mitre.org> <dewar.848026322@merv>
 <56kt98$6at@fozzie.sun3.iaf.nl> <dewar.848239512@merv>
 <56okri$96q@fozzie.sun3.iaf.nl>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-11-22T00:00:00+00:00
List-Id: <comp.lang.ada>


iGeert says

"I think it is a real reach to say that an Ada implementation is allowed
to provide an Unbounded_Strings package body which execution can be
erroneous in tasking programs."

  That's obviously wrong, if for instance two tasks try to do a slice
  operation in place on the same unbounded string from two different
  tasks, we definitely expect this to be erroneous in the normal manner
  for shared variables

  If Geert disagrees with this, he must certainly do more than provide
  an opinion "I think"

  Remember, the burden of proof is on you to show that an unlocked
  reference count scheme is incorrect, "I think" is not a proof. Please
  cite the exact argument from the RM to prove that this is wrong.