编译技术的工程应用研究

北京化工大学博士学位论文编译技术的工程应用研究姓名：彭四伟申请学位级别：博士专业：控制理论与控制工程指导教师：朱群雄20060320编译技术的工程应用研究作者：彭四伟学位授予单位：北京化工大学参考文献(110条)1.SSMuchnickAdvancedCompilerDesignandImplementation19972.BerginThomasJ.RichardGGibsonTheHistoryofProgrammingLanguages-Ⅱ19953.REBryant.DRO'HallaronIntroducingcomputersystemsfromaprogrammer'sperspective20014.BirdPeterAnImplementationofaCodeGeneratorSpecificationLanguageforTableDrivenCodeGenerators19825.GlanvilleRSteven.SusanLGrahamANewMethodforCompilerCodeGeneration19786.TjiangStevenWKAutomaticGenerationofData-FlowAnalyzers:AToolforBuildingOptimizers19937.WolfeMichaelEImprovingLocalityandParallelisminNestedLoops[Tech.Rept.CSL-TR-92-538]19928.LoJackL.SusanEggersImprovingBalancedSchedulingwithCompilerOptimizationsthatIncreaseInstruction-LevelParallelism19959.JRLarus.ESchnarrMachine-independentexecutableediting199510.MowryToddC.MonicaSLan.AnoopGuptaDesignandEvaluationofaCompilerAlgorithmforPrefetching199211.ASrivastava.AEustaceATOM:Asystemforbuildingcustomizedprogramanalysistools199412.XZhang.ZWang.NGloy.J.B.Chen,andM.D.SmithSystemsupportforautomaticprofilingandoptimization199713.MARTINERWIG.ZHEFUSoftwareReuseforScientificComputingThroughProgramGeneration2005(02)14.GanapathiMahadevan.CharlesNFischerDescription-DrivenCodeGenerationUsingAtributeGrammars198215.GanapathiMahadevan.CharlesNFischerAffixGrammarDrivenCodeGeneration1985(04)16.BirdPeterAmericanNationalStandardX3.159-1989.TheCProgrammingLanguage198917.KVSeshuKumarWhenandWhattoCompile/OptimizeinaVirtualMachine200418.MTIMJONESOptimizationinGCC2005(131)19.DALESCHOUTEN.XINMINTIAN.AARTBIK.MILINDGIRKARInsidetheIntelCompiler200320.IntelReferenceCompilerfortheIntel386,Inter486,andPentiumMicroprocessorFamily:AnOverview199321.芦运照谓词相关编译技术和深层代码优化200422.MaydanDrowE.JohnLHennessy.MonicaSLamAnEfficientMethodforExactDependenceAnalysis199123.WolfeMichaelR.ChauWenTsengThePowerTestforDataDependence[Tech.Repr.No.CS/E90-1=015]199024.AllenFrancesE.JohnCookeGraphTheoreticConstructsforProgramControlFlowAnalysis[ResearchRept.RC3923,IBMThomasJwWatsonResearchCtr]197225.CytronRonald.JeanFerrante.BarryKRosen.MarkN.Wegman,andF.KennethZadeckEfficientlyComputingStaticSingleAssignmentFormandtheProgramDependenceGraph1991(04)26.McFarlingScottProgramAnalysisandOptimizationforMachineswithInstructionCache[Tech.Rept.CSL-TR-91-493]199127.GuptaRajivCompilerOptimizationofDataStorage199028.KnobeKathleen.FKennethZadeckRegisterAllocationUsingControlTrees[Tech.Rept.No.CS-92-13]199229.WolfeMichaelE.MonicaSLamADataLocalityOptimingAlgorithm199130.RLinsGarbageCollection:AlgorithmsforAutomaticDynamicMemoryManagement199631.YLin.DPaduaCompileranalysisofirregularmemoryaccesses200032.BallThomas.JamesRLarusOptimallyProfilingandTracingPrograms199233.BanerjeeUtpalLoopTransformationsforRestructuringCompilers199334.BernsteinDavid.DinaQGoldin.MartinCGolumbic.HugoKrawczyk,YishayMansour,ItaiNahshon,andRonY.PinterSpillCodeMinimizationTechniquesforOptimizingCompilers198935.CooperKeithD.KenKennedy.LindaTorczonInterprocedurealOptimization:EliminatingUnnecessaryRecompilation198636.DhamdhereDhananjayMAFastAlgorithmforCodeMovementOptimization1988(10)37.KoltePryadarshan.MichaelWolfeEliminationofRedundantArraySubscriptChecks199538.SrivastavaAmitabh.DvaidWWallAPracticalSystemforIntermoduleCodeOptimizationatLink-Time1993(01)39.WismullerRolandDebuggingGloballyOptimizedProgramsUsingDataFlowAnalysis199440.MKaashoek.DEngler.GGanger.H.Briceo,R.Hunt,D.Maziers,T.Pinckney,R.Grimm,J.Jannotti,andK.MacKenzieApplicationperformanceandflexibilityonExokernelsystems199741.AikenAlexand.AlexandruNicolauOptimalLoopParallelization198842.KnoopJens.OliverRuthing.BernhardSteffenPartialDeadCodeElimination199443.McFarlingScottProcedureMergingwithInstructionCaches199144.JRLevineLinkersandLoaders199945.RinetzkyN.BauerJ.RepsT.Sagiv,M,Wilhelm,RAsemanticsforprocedurelocalheapsanditsabstractions200546.AlpernBowen.MarkNWegman.FKennethZadeckDetectingEqualityofVariablesinPrograms198847.THIVIETNGANGUYEN.FRANCOISIRIGOINEfficientandEffectiveArrayBoundChecking200548.GuptaRajivOptimizingArrayBoundsChecksUsingFlowAnalysis1993(1-4)49.HummelJoseph.LaurieJHendren.AlexandruNicolauAGeneralDataDependenceTestforDynamicPointer-BasedDataStructures199450.GiuseppeDellaPennaAtypesystemforstaticanddynamiccheckingofC++pointers200551.ChenDing.YutaoZhongCompiler-DirectedRun-TimeMonitoringofProgramDataAccess2003(02)52.CooperKeithD.KenKenKennedyInterproceduralSide-EffectAnalysisinLinearTime198853.AllenFrancesE.JohnCockeAProgramDataFlowAnalysisProcedure1976(03)54.AllenJRandy.DavidCallahan.KenKennedyAnImplementationofinterproceduralDataFlowAnalysisinaVectorizingFortranCompiler[Tech.Rept.COMPTR-86-38]198655.BarthJohnMAPracticalInterproceduralDataFlowAnalysisAlgorithm1978(09)56.FeauttierDataFlowAnalysisofArrayandScalarReferences1991(01)57.SCarson.PReynoldsThegeometryofsemaphoreprograms1987(01)58.DRitchieThedevelopmentoftheClanguage199359.JohnsonStevenCAPortableCompiler:TheoryandPractice197860.BKernighan.DRitchieTheCProgrammingLanguage198861.RichardMStallmanGNUCompilerCollectionInernals6