[PRL] may be

Karl Lieberherr lieber at ccs.neu.edu
Wed Nov 5 14:32:04 EST 2003


Hi Matthias:

I did not have a chance to respond in person. Here is my fix to the "may-be"
formalization:

A B-object may be contained in a C-object iff the traversal specification
[C,B] defines a non-empty set.

Traversal specifications are defined in:

@ARTICLE{lieber-palsberg-xiao94,
AUTHOR = "Jens Palsberg and Cun Xiao and Karl Lieberherr",
TITLE = "Efficient Implementation of Adaptive Software",
JOURNAL = toplas ,
YEAR = 1995,
PAGES = "264--292",
MONTH = mar,
VOLUME = 17,
NUMBER = 2
}

The may-be relation is covered in my undergraduate class ((<=.C.=>)*.<=
where . is relation composition). Maybe I misunderstood your statement that
the may-be relation is NOT easy to formalize.

-- Karl



More information about the PRL mailing list