In and Out of SSA: A Denotational Specification


We present non-standard denotational specifications of the SSA<lb>form and of its conversion processes from and to imperative pro-<lb>gramming languages. Thus, we provide a strong mathematical<lb>foundation for this intermediate code representation language used<lb>in modern compilers such as GCC or Intel CC.<lb>More specifically, we provide (1) a new… (More)


6 Figures and Tables

Cite this paper

@inproceedings{Pop2010InAO, title={In and Out of SSA: A Denotational Specification}, author={Sebastian Pop and Pierre Jouvelot and Georges-Andr{\'e} Silber}, year={2010} }