III. State space reduction in abstract interpretation of parallel programs (1994)

by J Chow, W Harrison
Venue:In Proceedings of the 1994 IEEE International Conference on Computer Language