Conference paper
Effective typestate verification in the presence of aliasing
Stephen Fink, Eran Yahav, et al.
ISSTA 2006
The member lookup problem in C++ is the problem of resolving a specified member name in the context of a specified class. Member lookup in C++ is complicated by the presence of virtual inheritance and multiple inheritance. In this paper, we present an efficient algorithm for member lookup in C++. We also present a formalism for the multiple inheritance mechanism of C++, which we use as the basis for deriving our algorithm. The formalism may also be of use as a formal basis for deriving other C++ compiler algorithms.
Stephen Fink, Eran Yahav, et al.
ISSTA 2006
Junehwa Song, G. Ramalingam, et al.
Multimedia Systems
Frank Tip, Jong-Deok Choi, et al.
OOPSLA 1996
N. Rinetzky, G. Ramalingam, et al.
ACM TOPLAS