SSA Translation Is an Abstract Interpretation

Lemerre, M

Lemerre, M (通讯作者),Univ Paris Saclay, CEA, List, F-91120 Palaiseau, France.

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023; 7 (POPL):

Abstract

Static single assignment (SSA) form is a popular intermediate representation that helps implement useful static analyses, including global value numbe......

Full Text Link