A global flow analysis algorithm

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