Slicing Concurrent Programs - A Graph-Theoretical Approach

@inproceedings{Cheng1993SlicingCP,
  title={Slicing Concurrent Programs - A Graph-Theoretical Approach},
  author={Jingde Cheng},
  booktitle={AADEBUG},
  year={1993}
}
This paper extends the notion of slicing, which was originally proposed and studied for sequential programs, to concurrent programs and presents a graph-theoretical approach to slicing concurrent programs. In addition to the usual control and d ta dependences proposed and studied for sequential programs, the paper introduces three new types of primary program dependences in concurrent programs, named the selection dependence, synchronization dependence, and communication dependence. The paper… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 131 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
78 Citations
24 References
Similar Papers

Citations

Publications citing this paper.

132 Citations

051015'93'98'04'10'16
Citations per Year
Semantic Scholar estimates that this publication has 132 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 24 references

Compiling Programs to Their Dependence-Based Representations

  • J. Cheng, Y. Kasahara, M. Kamachi, Y. Nomura, K. Ushijima
  • Proc. 1993 IEEE Region 10 International…
  • 1993
Highly Influential
3 Excerpts

Ada: Moving towards 2000

  • J. Cheng, “Task Dependence Net as a Representation for Concurrent Programs, ” in J . van Katwijk ed.
  • LNCS, Vol.603, pp.150-164, Springer-Verlag, June…
  • 1992
1 Excerpt

Distributed Environments

  • J. Cheng, K. Ushijima, “Partial Order Transparency as a Tool to Reduce Interferenc Systems, ” in Y. Ohno ed.
  • pp.156-171, Springer-Verlag, 1991.
  • 1991
1 Excerpt

Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems

  • Y. Ohno
  • 1991

Similar Papers

Loading similar papers…