More precise construction of static single assignment programs using reaching definitions

Abu Naser Masud, Federico Ciccozzi. More precise construction of static single assignment programs using reaching definitions. Journal of Systems and Software, 166:110590, 2020. [doi]

Abstract

Abstract is missing.