Logo
LogoUniGeSES

ASG list of publications

Citation

Jan Vitek, R. Nigel Horspool, James Uhl, "Compile-time analysis of object-oriented programs", in Proc. Proceedings of the 4th Int. Conf. on Compiler Construction, CC'92 (Paderborn, Germany, , 1992), pp.

Abstract

eneration of efficient code for object-oriented programs requires knowledge of object lifetimes and method bindings. For object-oriented languages that have automatic storage management and dynamic look-up of methods, the compiler must obtain such knowledge by performing static analysis of the source code. We present an analysis algorithm which discovers the potential classes of each object in an object-oriented program as well as a safe approximation of their lifetimes. These results are obtained using abstract domains that approximate memory configurations and interprocedural call patterns of the program. We present several alternatives for these abstract domains that permit a trade-off between accuracy and complexity of the overall analysis.

Bibtex

@inproceeding{ Vit92,
Author = "Jan Vitek, R. Nigel Horspool, James Uhl",
Title = "Compile-time analysis of object-oriented programs",
Booktitle = "Proceedings of the 4th Int. Conf. on Compiler Construction, CC'92",
Editor = "",
Publisher = "Springer-Verlag",
Pages = "",
Organization = "",
Address = "Paderborn, Germany",
Key = "olit osg-ftp",
Notes = "",
Month = "",
Year = "1992"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.