@inproceedings{debois04imperative, author = {S{\o}ren Debois}, title = {Imperative program optimization by partial evaluation}, booktitle = {{PEPM `04:} Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation}, year = {2004}, pages = {113--122}, publisher = {ACM Press}, }