Conference paper
Dependent types for program understanding
Raghavan Komondoor, G. Ramalingam, et al.
TACAS - ETAPS 2005
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.
Raghavan Komondoor, G. Ramalingam, et al.
TACAS - ETAPS 2005
John Field, G. Ramalingam
PASTE 1999
G. Ramalingam, Thomas Reps
POPL 1994
Kavitha Srinivas, Harini Srinivasan
ESEC/FSE 2005