[PRL] may be

[Karl Lieberherr]

Yes. David said there were three relations:

Containment (may, defined by "from A to B")
Must (may where the path set satisfies an additional property)
"domain-specific may" intended as a parameter to the acquisition definition.

David, did I phrase this right?

-- Karl
-----Original Message-----
From: William D Clinger [mailto:will at ccs.neu.edu]
Sent: Wednesday, November 05, 2003 4:07 PM
To: lieber at ccs.neu.edu; wand at ccs.neu.edu
Cc: PRL at lists.ccs.neu.edu
Subject: Re: [PRL] may be

To add to what Mitch said:  Karl's concise definition may coincide
with the definition in Section 4.2 of the paper, but David said
that definition was just one example of a "may" relation that the
language designer might use to specify the semantics of environmental
acquisition.  In other words, section 4.2 was intended to give an
exemplary definition, not a prescriptive definition.

Will