[PRL] may be

William D Clinger will at ccs.neu.edu
Wed Nov 5 16:06:33 EST 2003


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


More information about the PRL mailing list