|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
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
| ASCII Text | x | ||
| David Byers, Mariam Kamkar, "Static Slicing and Parametric Polymorphism," Source Code Analysis and Manipulation, IEEE International Workshop on, pp. 0181, First IEEE International Workshop on Source Code Analysis and Manipulation, 2001. | |||
| BibTex | x | ||
| @article{ 10.1109/SCAM.2001.972679, author = {David Byers and Mariam Kamkar}, title = {Static Slicing and Parametric Polymorphism}, journal ={Source Code Analysis and Manipulation, IEEE International Workshop on}, volume = {0}, year = {2001}, isbn = {0-7695-1387-5}, pages = {0181}, doi = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2001.972679}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Source Code Analysis and Manipulation, IEEE International Workshop on TI - Static Slicing and Parametric Polymorphism SN - 0-7695-1387-5 SP EP A1 - David Byers, A1 - Mariam Kamkar, PY - 2001 VL - 0 JA - Source Code Analysis and Manipulation, IEEE International Workshop on ER - | |||
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.
