@inproceedings{simon08splitting, author = {A. Simon}, title = {Splitting the {C}ontrol {F}low with {B}oolean {F}lags}, booktitle = {Static Analysis Symposium}, editor = {M. Alpuente and G. Vidal}, month = {July}, year = 2008, pages = {315-331}, series = {LNCS}, volume = {5079}, publisher = {Springer}, doi = {10.1007/978-3-540-69166-2_21}, address = {Valencia, Spain}, }