Springer Compiler Design Aug 2012

HelmutSeidl,ReinhardWilhelm,SebastianHackCompilerDesignAnalysisandTransformationCompilersforprogramminglanguagesshouldtranslatesource-languageprogramscorrectlyintotarget-languageprograms,oftenprogramsofamachinelanguage.Butnotonlythat;theyshouldoftengeneratetarget-machinecodethatisasefficie