@inproceedings{siegel13fesa, author = {H. Siegel and A. Simon}, title = {{FESA}: {F}old- and {E}xpand-based {S}hape {A}nalysis}, booktitle = {Compiler Construction}, month = {March}, year = 2013, pages = {82--101}, series = {LNCS}, volume = {7791}, publisher = {Springer}, address = {Rome, Italy}, }