Uniqueness and Completeness Analysis of Array Comprehensions (1994)

by D A Garza, A P W Bohm
Venue:Proceedings of the First International Static Analysis Symposium, SAS94