State Space Reduction in Abstract Interpretation of Parallel Programs.

Jyh-Herng Chow Williams Ludwell Harrison III State Space Reduction in Abstract Interpretation of Parallel Programs. 265-276 1994 conf/iccl/1994 ICCL db/conf/iccl/iccl1994.html#ChowH94