TY - GEN
T1 - Automatic monitoring of control-flow through inheritance hierarchies
AU - Tyler, Benjamin
AU - Soundarajan, Neelam
PY - 2006/12/1
Y1 - 2006/12/1
N2 - Polymorphism, based on inheritance and dynamic binding in standard object-oriented languages allows designers to customize the behavior of functions defined in particular base classes by suitably redefining, in derived classes, other functions that they invoke But at the same time, polymorphism, especially when used in conjunction with the super mechanism that most OO languages provide, can result in complex control-flow among methods defined in various classes We develop an approach that can be used by the designer to automatically trace this control-flow; we also present results from a prototype implementation.
AB - Polymorphism, based on inheritance and dynamic binding in standard object-oriented languages allows designers to customize the behavior of functions defined in particular base classes by suitably redefining, in derived classes, other functions that they invoke But at the same time, polymorphism, especially when used in conjunction with the super mechanism that most OO languages provide, can result in complex control-flow among methods defined in various classes We develop an approach that can be used by the designer to automatically trace this control-flow; we also present results from a prototype implementation.
UR - http://www.scopus.com/inward/record.url?scp=84885935500&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885935500&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84885935500
SN - 9781627486606
T3 - 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006
SP - 355
EP - 358
BT - 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006
T2 - 18th International Conference on Software Engineering and Knowledge Engineering, SEKE 2006
Y2 - 5 July 2006 through 7 July 2006
ER -