欢迎来到天天文库
浏览记录
ID:40723793
大小:1.15 MB
页数:311页
时间:2019-08-06
《Program Analysis and SpecializationPhD》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、ProgramAnalysisandSpecializationfortheCProgrammingLanguagePh.D.ThesisLarsOleAndersenDIKU,UniversityofCopenhagenUniversitetsparken1DK-2100CopenhagenØDenmarkemail:lars@diku.dkMay1994AbstractSoftwareengineersarefacedwithadilemma.Theywanttowritegeneralandwell-structuredpr
2、ogramsthatareflexibleandeasytomaintain.Ontheotherhand,generalityhasaprice:efficiency.Aspecializedprogramsolvingaparticularproblemisoftensignif-icantlyfasterthanageneralprogram.However,thedevelopmentofspecializedsoftwareistime-consuming,andislikelytoexceedtheproductionoft
3、oday’sprogrammers.Newtechniquesarerequiredtosolvethisso-calledsoftwarecrisis.Partialevaluationisaprogramspecializationtechniquethatreconcilesthebenefitsofgeneralitywithefficiency.ThisthesispresentsanautomaticpartialevaluatorfortheAnsiCprogramminglanguage.Thecontentofthis
4、thesisisanalysisandtransformationofCprograms.Wedevelopseveralanalysesthatsupportthetransformationofaprogramintoitsgeneratingex-tension.Ageneratingextensionisaprogramthatproducesspecializedprogramswhenexecutedonpartsoftheinput.Thethesiscontainsthefollowingmainresults.•
5、Wedevelopagenerating-extensiontransformation,anddescribespecializationofthevariouspartsofC,includingpointersandstructures.•Wedevelopconstraint-basedinter-proceduralpointerandbinding-timeanalysis.Bothanalysesarespecifiedvianon-standardtypeinferencesystems,andimple-mente
6、dbyconstraintsolving.•Wedevelopaside-effectandanin-useanalysis.Theseanalysesaredevelopedintheclassicalmonotonedata-flowanalysisframework.Someintriguingsimilaritieswithconstraint-basedanalysisareobserved.•Weinvestigateseparateandincrementalprogramanalysisandtransformatio
7、n.Re-alisticprogramsarestructuredintomodules,whichbreakdowninter-proceduralanalysesthatneedglobalinformationaboutfunctions.•Weprovethatpartialevaluationatmostcanaccomplishlinearspeedup,anddevelopanautomaticspeedupanalysis.•Westudythestrongertransformationtechniquedriv
8、ing,andinitiatethedevelop-mentofgeneratingsuper-extensions.Thedevelopmentsinthisthesisaresupportedbyanimplementation.Through
此文档下载收益归作者所有