Springer Compiler Design Aug 2012
HelmutSeidl,ReinhardWilhelm,SebastianHackCompilerDesignAnalysisandTransformationCompilersforprogramminglanguagesshouldtranslatesource-languageprogramscorrectlyintotarget-languageprograms,oftenprogramsofamachinelanguage.Butnotonlythat;theyshouldoftengeneratetarget-machinecodethatisasefficie