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.

@inproceedings{ChowH94,
  title = {State Space Reduction in Abstract Interpretation of Parallel Programs},
  author = {Jyh-Herng Chow and Williams Ludwell Harrison III},
  year = {1994},
  tags = {parallel programming, programming},
  researchr = {https://researchr.org/publication/ChowH94},
  cites = {0},
  citedby = {0},
  pages = {265-276},
  booktitle = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France},
  editor = {Henri E. Bal},
  publisher = {IEEE Computer Society},
}