资源描述：
《An_Integration_of_Partial_Evaluation_in_a_Generic_Abstract_Interpretation_Framework》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、AnIntegrationofPartialEvaluationinaGenericAbstractInterpretationFrameworkGermanPueblaandManuelHermenegildoJohnP.GallagherDepartmentofComputerScienceDepartmentofComputerScienceTechnicalUniversityofMadrid(UPM)UniversityofBristolfgerman,hermeg@fi.upm.esjohn@cs.bris.ac.ukAbstractcialproblemwhichh
2、asalsoreceivedconsiderableattention.MuchworkhasbeendevotedtothestudyofsuchcontrolInformationgeneratedbyabstractinterpretershaslongbeenstrategiesinthecontextofon-line"partialevaluationofusedtoperformprogramspecialization.Additionally,ifthelogicprograms[MG95,LD97,LM96].Usually,controlisdi-abstr
3、actinterpretergeneratesamultivariantanalysis,itisvidedintocomponents:localcontrol,"whichcontrolsthealsopossibletoperformmultiplespecialization.Informa-unfoldingforagivenatom,andglobalcontrol,"whichen-tionaboutvaluesofvariablesispropagatedbysimulatingsuresthatthesetofatomsforwhichapartialeval
4、uationisprogramexecutionandperforming xpointcomputationstobecomputedremains nite.forrecursivecalls.Incontrast,traditionalpartialevalua-Inmostofthepracticalalgorithmsforprogramspe-tors(mainly)useunfoldingforbothpropagatingvaluesofcialization,theabovementionedcontrolstrategiesuse,tovariablesandt
5、ransformingtheprogram.Itisknownthatagreaterorlesserdegree,informationgeneratedbystaticabstractinterpretationisabettertechniqueforpropagat-programanalysis.Oneofthemostwidelyusedtechniquesingsuccessvaluesthanunfolding.However,theprogramforstaticanalysisisabstractinterpretation[CC77,CC92].transfo
6、rmationsinducedbyunfoldingmayleadtoimpor-Someoftherelationsbetweenabstractinterpretationandtantoptimizationswhicharenotdirectlyachievableinthepartialevaluationhavebeenidenti edbefore[GCS88,GH91,existingframeworksformultiplespecializationbasedonab-Gal92,CK93,PH95,LS96,PH97,Jon97,PGH97,Leu98].st
7、ractinterpretation.TheaimofthisworkistodeviseaHowever,theroleofanalysisissofundamentalthatitisnat-specializationframeworkwhichintegratesthebetterinfor-uraltoconsiderwhetherpartialevaluationcouldbeachievedmationpropagationofabstractinter
