Williams Ludwell Harrison, III;Zahira Ammarguellat
-;-
A Control-Flow Normalization Algorithm and its Complexity
IEEE Transactions on Software Engineering
Interprocedural Def-Use Associations for C Systems with Single Level Pointers