Abstract
A global algorithm which uses interval analysis techniques to recognize live variables is presented.