發送短信 : Ein Verfahren zur Erzeugung von optimalem Code für Ausdrücke unter Berücksichtigung gemeinsamer Teilausdrücke /