State Space Reduction in Abstract Interpretation of Parallel Programs (0)

by J-H Chow, W L Harrison
Venue:In Proceedings of the International Conference on Computer Languages, (ICCL'94