Jyh-Herng Chow, Williams Ludwell Harrison III. State Space Reduction in Abstract Interpretation of Parallel Programs. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. pages 265-276, IEEE Computer Society, 1994.
No references recorded for this publication.
No citations of this publication recorded.