资源描述:
《esuif an open esterel compiler》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、ElectronicNotesinTheoreticalComputerScience65No.5(2002)URL:http://www.elsevier.nl/locate/entcs/volume65.html15pagesESUIF:AnOpenEsterelCompilerStephenA.Edwards1ComputerScienceDepartmentColumbiaUniversityNewYork,USAAbstractIdescribeanewcompilerinfrastructureforimperativesynchronouslangu
2、agessuchasEsterelandecl.Builtonthesuif2system,itincludesanewintermediaterepresentationforthisclassoflanguagesthathassimplesemanticsdesignedforeasyimplementationinhardwareorsoftware.Idescribethestructureofthisnewcompiler,theintermediaterepresentation,andhowEsterelsourceistranslatedinto
3、thisintermediaterepresentation.1IntroductionEsuifisanewcompilerdesignedforresearchonsynchronousimperativelan-guagessuchasEsterel[6]andecl[10].Itsdesignismodularandsufficientlyflexibletobethebasisforworkonhardwaresynthesis,softwaresynthesis,optimization,andverification.Thedifficultyofcompili
4、ngimperativesynchronouslanguagessuchasEs-terelandeclmotivatedthiswork.Theirsemanticsaresubtleandcom-plex,integratingconcurrency,preemption,andinstantaneousbroadcast.Todate,atleastfoursubstantiallydifferentapproaches,automata[6],logicnet-works[1],control-flowgraphs[7],andevents[11],haveb
5、eenproposed,eachwithdifferentadvantagesanddrawbacks.Noneisclearlysuperior,andmoreworkisneeded.Unfortunately,noneofthesecompilersisavailableinsourceform,andonlytwoareavailableinbinaryform,limitingnewresearchinthefield.Esuif,bycontrast,isfreelyavailable2anddesignedforflexibility.Esuifcompi
6、lesprogramsinEsterelandrelatedlanguagesusingaseriesofrefinementstepsthatcaneasilybeusedindifferentwaysandextended.Tosupportthis,esuifisbuiltonthesuif2systemfromStanfordUniversity3,1Email:sedwards@cs.columbia.edu2www.cs.columbia.edu/~sedwards3suif.stanford.edu°c2002PublishedbyElsevierSci
7、enceB.V.Edwardswhichconsistsofapersistent,customizableobject-orienteddatabaseimple-mentedinC++alongwithavarietyofcompiler-specificutilitiessuchasmech-anismsforsymboltablesandatypesystem.Esuif,likeallcompilersbuiltonsuif2,consistsofacollectionofpasses,suchasdeadcodeelimination,implement
8、edass