[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