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

John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng. A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. In Agostino Cortesi, Gilberto Filé, editors, Static Analysis, 6th International Symposium, SAS 99, Venice, Italy, September 22-24, 1999, Proceedings. Volume 1694 of Lecture Notes in Computer Science, pages 1-18, Springer, 1999. [doi]

Abstract

Abstract is missing.