Z1: A data flow analyzer generator (1993)

by K Yi, L Harrison
Venue:in: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages