State space reduction based on live variables analysis (2003)

by J-C Fernandez, M Bozga, L Ghirvu
Venue:Sci. Computer Programming