@inproceedings{b566b273bd1a4d20b2763fbb90b0b33e,
title = "SSA-based flow-sensitive type analysis: Combining constant and type propagation",
abstract = "An important step in compile-time optimization of object-oriented languages with polymorphic and virtual functions is static determination of concrete types (classes) of variables referring to objects. This information is essential for identifying monomorphic call sites and hence opening opportunities for interprocedural optimizations. In this paper, we present an Static Single Assignment (SSA) based interprocedural static type analysis algorithm, which combines constant propagation and type propagation. This algorithm enhances Wegman and Zadeck's [11] sparse conditional constant propagation (SCC) algorithm to perform simultaneous type analysis on a modified-SSA representation of a object-oriented program. Due to synergy between constant and types propagation, the proposed algorithm detects more constants and provides more precise type information than the case wherein the two analysis are performed separately.",
keywords = "Object-Oriented Language, SSA-Form, Type Analysis",
author = "Alexandre Lenart and Christopher Sadler and Gupta, {Sandeep K.S.}",
year = "2000",
doi = "10.1145/338407.338570",
language = "English (US)",
isbn = "1581132409",
series = "Proceedings of the ACM Symposium on Applied Computing",
pages = "813--817",
booktitle = "Proceedings of the 2000 ACM Symposium on Applied Computing, SAC 2000",
note = "2000 ACM Symposium on Applied Computing, SAC 2000 ; Conference date: 19-03-2000 Through 21-03-2000",
}