@conference{GlBl03, author={Sabine Glesner and Jan Olaf Blech}, title={Classifying and Formally Verifying Integer Constant Folding}, booktitle={Proceedings of the Workshop COCV 2003: Compiler Optimization meets Compiler Verification}, year={2003}, month={April}, organization={ETAPS Conferences}, publisher={Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 82, No. 2}, volume={82}, number={2}, editor={Jens Knoop and Wolf Zimmermann}, address={Warsaw, Poland} }