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. 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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.