State Space Reduction Based on Live Variables Analysis.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Browse the full SAS paper archive.