First IEEE International Workshop on Source Code Analysis and Manipulation Static Slicing and Parametric Polymorphism Florence, Italy November 10-December 10 ISBN: 0-7695-1387-5
Interprocedural static slicing of object-oriented programs that use parametric polymorphism and late binding requires the slicing algorithm to guess which implementations of each method may be called at each call site. This problem is well-known in the slicing community, and is mentioned in most papers that discuss slicing of object-oriented programs. We analyze the problem and present a solution to the problem based on technology from the compiler community. Our approach produces accurate results even in the face of multiple levels of polymorphism.
Citation:
David Byers, Mariam Kamkar, "Static Slicing and Parametric Polymorphism," scam, pp.0181, First IEEE International Workshop on Source Code Analysis and Manipulation, 2001 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||