Modern Compiler Implementation in ML

Thisnew,expandedtextbookdescribesallphasesofamoderncompiler:lexicalanalysis,parsing,abstractsyntax,semanticactions,intermediaterepresentations,instructionselectionviatreematching,dataflowanalysis,graph-coloringregisterallocation,andruntimesystems.Itincludesgoodcoverageofcurrenttechniquesincodegenerationandregisterallocation,aswellasfunctionalandobject-orientedlanguages,thataremissingfrommostbooks.Inaddition,moreadvancedchaptersarenowincludedsothatitcanbeusedasthebasisfortwo-semesterorgraduatecourse.Themostacceptedandsuccessfultechniquesaredescribedinaconciseway,ratherthanasanexhaustivecatalogofeverypossiblevariant.DetaileddescriptionsoftheinterfacesbetweenmodulesofacompilerareillustratedwithactualCheaderfiles.Thefirstpartofthebook,FundamentalsofCompilation,issuitableforaone-semesterfirstcourseincompilerdesign.Thesecondpart,AdvancedTopics,whichincludestheadvancedchapters,coversthecompilationofobject-orientedandfunctionallanguages,garbagecollection,loopoptimizations,SSAform,loopscheduling,andoptimizationforcache-memoryhierarchies.