[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    Re: [Soot-list] mayNotAlias , notMayAlias and mustNotAlias used in the instancekey class ?
From:       Eric Bodden <eric.bodden () ec-spride ! de>
Date:       2012-08-17 6:27:00
Message-ID: CALhVNNLe7ys5MGmc3otfnk1-Xo_UM2poGFQ=ukHsLXhtOFZo5w () mail ! gmail ! com
[Download RAW message or body]

Hi Zell.

> On the first line, the term  may-not-alias is used
>
> On the thrid line, the term not-may-alias is used.
>
> On the "object representative" paper, the term " must-not-alias" is used.

My apologies. In this case they all mean the same thing.

> Although they have suble different meanings in English, I guess that, in
> SOOT, they are three terms for the same thing, right? Given (l1,s1) and
> (l2,s2) two LocalStmt pairs, is that correct to conclude :
>
>  may-not-alias (l1,s1,l2,s2) holds
> <==>
>  not-may-alias (l1,s1,l2,s2) holds
> <==>
> must-not-alias (l1,s1,l2,s2) holds

Correct. I guess the most correct name in terms of the English
language, which we should have used consistently, would be
not-may-alias.

Eric
_______________________________________________
Soot-list mailing list
Soot-list@sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
[prev in list] [next in list] [prev in thread] [next in thread]