A program form based on data dependency in predicate regions (1983)

by J Ferrante, K J Ottenstein
Venue:In Conference Record of the 10th Annual ACM Symposium on Principles of Programming Languages