A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives

@inproceedings{Hatcliff1999AFS,
  title={A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives},
  author={John Hatcliff and James C. Corbett and Matthew B. Dwyer and Stefan Sokolowski and Hongjun Zheng},
  booktitle={SAS},
  year={1999}
}
Previous work has shown that program slicing can be a useful step in model-checking software systems. We are interested in applying these techniques to construct models of multi-threaded Java programs. Past work does not address the concurrency primitives found in Java, nor does it provide the rigorous notions of slice correctness that are necessary for reasoning about programs with non-deterministic behaviour and potentially innnite computation traces. In this paper, we deene the semantics of… CONTINUE READING
Highly Cited
This paper has 140 citations. REVIEW CITATIONS
91 Citations
14 References
Similar Papers

Citations

Publications citing this paper.

141 Citations

051015'99'03'08'13'18
Citations per Year
Semantic Scholar estimates that this publication has 141 citations based on the available data.

See our FAQ for additional information.

References

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

Pro gram slicing for design automation: An automatic technique for speeding-up hard ware design, simulation, testing, and veri cation

  • E. M. Clarke, M. Fujita, S. P. Rajan, T.Reps, S. Shankar, T. Teitelbaum
  • Technical report,
  • 1999
1 Excerpt

Similar Papers

Loading similar papers…