@inproceedings{Nielson01Control-Flow, author = {Flemming Nielson and Helmut Seidl}, title = {Control-{F}low {A}nalysis in {C}ubic {T}ime}, booktitle = {Programming Languages and Systems}, editor = {David Sands}, month = {April}, year = 2001, pages = {252-268}, series = {Lecture Notes in Computer Science}, volume = {2028}, publisher = {Springer}, address = {Genova, Italy}, }