An Incremental Approach to Compiler Construction.pdf

《An Incremental Approach to Compiler Construction.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、AnIncrementalApproachtoCompilerConstructionAbdulazizGhuloumDepartmentofComputerScience,IndianaUniversity,Bloomington,IN47408aghuloum@cs.indiana.eduAbstracttoosimplisticanddonotpreparethenovicecompilerwritertoconstructausefulcompiler.Thesourcelanguageofthe

2、secompilersCompilersareperceivedtobemagicalartifacts,carefullycraftedoftenlacksdepthandthetargetmachineisoftenfictitious.Niklausbythewizards,andunfathomablebythemeremortals.BooksonWirthstatesthat“tokeepboththeresultingcompilerreasonablycompilersarebetterde

3、scribedaswizard-talk:writtenbyandforsimpleandthedevelopmentclearofdetailsthatareofrelevanceacliqueofall-knowingpractitioners.Real-lifecompilersaretooonlyforaspecificmachineanditsidiosyncrasies,wepostulatecomplextoserveasaneducationaltool.Andthegapbetweenan

4、architectureaccordingtoourownchoice”[20].Ontheotherreal-lifecompilersandtheeducationaltoycompilersistoowide.extreme,advancedbooksfocusmainlyonoptimizationtechniques,Thenovicecompilerwriterstandspuzzledfacinganimpenetrableandthustargetpeoplewhoarealreadywe

5、ll-versedinthetopic.barrier,“betterwriteaninterpreterinstead.”Thereisnogradualprogressintothefieldofcompilerwriting.Thegoalofthispaperistobreakthatbarrier.WeshowthatTheusualapproachtointroducingcompilersisbydescribingbuildingacompilercanbeaseasyasbuildinga

6、ninterpreter.Thethestructureandorganizationofafinalizedandpolishedcompiler.compilerweconstructacceptsalargesubsetoftheSchemepro-ThesequencingofthematerialaspresentedinthesebooksmirrorsgramminglanguageandproducesassemblycodefortheIntel-x86thepassesofthecomp

7、ilers.Manyoftheissuesthatacompilerarchitecture,thedominantarchitectureofpersonalcomputing.Thewriterhastobeawareofaresolvedbeforehandandonlythefinaldevelopmentofthecompilerisbrokenintomanysmallincremen-solutionispresented.Thereaderisnotengagedintheprocessof

8、talsteps.Everystepyieldsafullyworkingcompilerforaprogres-developingthecompiler.sivelyexpandingsubsetofScheme.EverycompilerstepproducesInthesebooks,thesequentialpresentationofcompilerimple-realassemblycodethatcanbeas