Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu. State Space Reduction Based on Live Variables Analysis. 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 164-178, Springer, 1999. [doi]
Abstract is missing.