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

by Jeanne Ferrante, Karl J Ottenstein
Venue:In POPL '83: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages