Abstract
The popularity of object-oriented (OO) programming has been on the rise. Unlike the procedural programming approach, OO programming provides a natural facility for modeling and decomposing a problem into self-contained entities called objects. The objects interact with each other through a message passing mechanism. At different program-points, the objects assume different implementation (or concrete) types, which are sets of classes or built-in types.
Sandeep Kumar and Dharma P. Agrawal are with Department of Electrical & Computer Engineering and supported by ARO under contract DAAH04-94-G-0306.
S.Purushothaman Iyer is with Department of Computer Science and supported in part by NSF under contract CCR-9404619.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Agesen, O., Palsberg, J., and Schwartzbach, M. I., “Type Inference For SELF: Analysis of Objects With Dynamic and Multiple Inheritance,” Proc. of ECOOP’93, Kaiserslautern, Germany, July 1993, pp. 247–267.
Calder, B., Grunwald, D., and Zorn, B. “Quantifying Behavioral Differences Between C and C++ Programs,” Tech. Rep. CU-CS-698–94, Dept. of Computer Sci., Univ. of Colorado, Boulder, Jan 1994, pp. 1–28.
Cytron, R., et al., “Efficiently Computing Static Single Assignment Form and the Control Dependence Graph,” ACM TOPLAS, Vol. 13, No. 4, Oct 1991, pp. 451–490.
Gautron, P. and Shepard, T., “Static Typing Without Explicit Types,” Technical Report, Dept. of Electrical and Computer Engg., Royal Military College of Canada, Ontario, Canada, 1994.
Oxhrj, N., Palsberg, J., and Schwartzbach, M. I., “Making Type Inference Practical,” Proc. of ECOOP, Springer-Verlag, LNCS 615, Utrecht, The Netherlands, July 1992.
Palsberg, J. and Schwartzbach, M. I., Object-Oriented Type Systems,John-Wiley & Sons Ltd., 1994.
Pande, H. and Ryder, B., “Static Type Determination for C++,” USENIX Sixth C++ Tech. Conf., Cambridge, MA, April 11–14, 1994, pp. 85–98.
Plevyak, J. and Chien, A. A., “Precise Concrete Type Inference of Object-Oriented Programs,” Proc. of OOPSLA, Portland, OR, Oct. 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media New York
About this chapter
Cite this chapter
Kumar, S., Agrawal, D.P., Iyer, S.P. (1996). An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs. In: Szymanski, B.K., Sinharoy, B. (eds) Languages, Compilers and Run-Time Systems for Scalable Computers. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2315-4_22
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2315-4_22
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5979-1
Online ISBN: 978-1-4615-2315-4
eBook Packages: Springer Book Archive