资源描述:
《The CakeML Compiler ExplorerCAKEML编译器资源高效管理器.pdf》由会员上传分享,免费在线阅读,更多相关内容在应用文档-天天文库。
1、TheCakeMLCompilerExplorerVisualizinghowaverifiedcompilertransformsexpressionsBachelorofSciencethesisinSoftwareEngineeringRikardHjortJakobHolmgrenChristianPerssonChalmersUniversityofTechnologyUniversityofGothenburgDepartmentofComputerScienceandEngineeringGö
2、teborg,Sweden,June2017TheCakeMLCompilerExplorerVisualizinghowaverifiedcompilertransformsexpressionsRikardHjortJakobHolmgrenChristianPersson©RikardHjort,JakobHolmgren,ChristianPersson,2017.Supervisor:MagnusMyreen,DepartmentofComputerScienceandEngineering.Ex
3、aminer:ArneLinde,DepartmentofComputerScienceandEngineering.Bachelor’sThesis2017:24DepartmentofComputerScienceandEngineeringChalmersUniversityofTechnologyUniversityofGothenburgSE-41296GöteborgSwedenTelephone+46(0)317721000TheAuthorgrantstoChalmersUniversit
4、yofTechnologythenon-exclusiverighttopublishtheWorkelectronicallyandinanon-commercialpurposemakeitaccessibleontheInternet.TheAuthorwarrantsthathe/sheistheauthortotheWork,andwarrantsthattheWorkdoesnotcontaintext,picturesorothermaterialthatviolatescopyrightl
5、aw.TheAuthorshall,whentransferringtherightsoftheWorktoathirdparty(forexampleapublisheroracompany),acknowledgethethirdpartyaboutthisagree-ment.IftheAuthorhassignedacopyrightagreementwithathirdpartyregardingtheWork,theAuthorwarrantsherebythathe/shehasobtain
6、edanynecessaryper-missionfromthisthirdpartytoletChalmersUniversityofTechnologystoretheWorkelectronicallyandmakeitaccessibleontheInternet.Coverimage:Clker-Free-Vector-Images,2014.Available:https://pixabay.com/en/tree-plant-dead-tree-silhouette-294114.Acces
7、sed:May11,2017.Licence:CC0.TypesetinLATEXGöteborg,Sweden,May2017PrefaceThisreportistheresultofaBachelorthesisprojectatChalmersUniversityofTechnology,conductedduringthespringsemesterof2017.Wewouldliketoexpressourdeepestgratitudetooursupervisor,MagnusMyreen
8、,forinspiringuswithideasandshowingdeepcommitmenttotheproject,spendingcountlesshoursondiscussingissuessmallandlargewithus.WewouldalsoliketothanktheCakeMLteam,bothfortheirsupportandquickanswerstoourquestions,andforcre