Zusammenfassung
Statische Programmanalysen, wie Datenflußanalysen, sind zur Verbesserung der Laufzeiteffizienz von objekt-orientierten Programmen enorm wichtig. Insbesondere die Ergebnisse von Typanalysen in ungetypten objekt-orientierten Sprachen erlauben häufig, daß Methodenaufrufe wie Funktionsaufrufe behandelt werden kännen. Wir haben fünf verschiedene Typanalysen implementiert und untersucht.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Ageson, O. The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In Proceedings of the European Conference on ObjectOriented Programming (ECOOP’95) Arhus, Denmark, Springer-Verlag, LNCS 952 (1995), 2 – 26.
Ageson, O., and Holzle, U. Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object–Oriented Languages. In Proceedings of the 1 0 th ACM SIGPLAN Annual Conference on Object—Oriented Programming Systems, Languages, and Applications (OOPSLA’95), ACM SIGPLAN Notices 30 10, (1995), 91 –107.
Chambers, C. The design and implementation of the SELF Compiler, an optimizing compiler for object—oriented programming languages, Dissertation, Stanford University, 1992.
Cousot, P., and Cousot, R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4 th Annual ACM Symposium on Principles of Programming Languages (POPL’77), Los Angeles, California, 1977, 238 – 252.
Carini, P.R., Srinivasan, H., and Hind, M. Flow-Sensitive Type Analysis for C++, IBM Research Report RC20267 Computer Science, (1995).
Golubski, W. Datenflulianalyse in object—orientierten Sprachen — Von der Theorie zur Praxis, Habilitationsschrift, University of Siegen, Germany, 1997.
Holzle, U., and Ungar, D. Optimizing dynamically—dispatched calls with runtime feedback. In Proceedings of the ACM SIGPLAN’94 Conference on Programming Language Design and Implementation (PLDI’94) Orlando, Florida, SIGPLAN Notices 29, 6 (1994), 326 –;336.
Knoop, J., and Golubski, W. Abstract interpretation: A uniform approach for powerful type analysis and classical optimization of object–oriented programs. In Proceedings of the International Workshop The White 00 Nights (WOON’96) (St. Petersburg, Russia), 1996 to appear.
Knoop, J., and Steffen, B. The Interprocedural Coincidence Theorem. In Proceedings o f the 4 th International Conference on Compiler Construction (CC’92), Paderborn, Germany, Springer-Verlag, LNCS 641 (1992), 125 – 140.
Muchnick, S. S., and Jones, N. D. (Eds.). Program flow analysis: Theory and applications. Prentice Hall, Englewood Cliffs, New Jersey, 1981.
Milner, R.A. A Theory of Type Polymorphism. Journal of Computer and System Sciences, 17, (1979), 348 – 375.
Oxhoj, N., Palsberg, J., and Schwartzbach, M. I. Making type inference practical. In Proceedings of the European Conference on Object—Oriented Programming(ECOOP’92), Utrecht, The Netherlands, Springer—Verlag, LNCS 615 (1992), 329 – 349.
Plevyak, J., and Chien, A. A. Precise concrete type inference for object-oriented languages. In Proceedings of the 9 th ACM SIGPLAN Annual Conference on ObjectOriented Programming Systems, Languages, and Applications (OOPSLA’94), ACM SIGPLAN Notices 29, 10, (1994), 324 – 340.
Pande, H.D., and Ryder, B.G. Static Type Determination and Aliasing for C++. Technical Report LCSR—TR—236, Rutgers University, (1994).
Sharir, M., and Pnueli, A. Two approaches to interprocedural data flow analysis. In [MJ], 1981, 189 – 233.
Vitek, J., Horspool, R. N., and Uhl, J. S. Compile—time analysis of objectoriented programs. In Proceedings of the 4th International Conference on Compiler Construction (CC’92), Paderborn, Germany, Springer—Verlag, LNCS 641 (1992)236–;250
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Golubski, W. (1997). Typanalyse in ungetypten objekt-orientierten Sprachen. In: Jarke, M., Pasedach, K., Pohl, K. (eds) Informatik ’97 Informatik als Innovationsmotor. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60831-5_79
Download citation
DOI: https://doi.org/10.1007/978-3-642-60831-5_79
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63066-1
Online ISBN: 978-3-642-60831-5
eBook Packages: Springer Book Archive