Efficient method of computing static single assignment formRon CytronJeanne Ferranteet al.1989POPL 1989
Resolving circularity in attribute grammars with applications to data flow analysisS. SagivO. Edelsteinet al.1989POPL 1989