资源描述：
《foundations of programming languages (springer, 2014)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、UndergraduateTopicsinComputerScienceKent D. LeeFoundationsofProgrammingLanguagesUndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)delivershigh-qualityinstructionalcontentforundergraduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoun
2、dationalandtheoreticalmaterialtofinal-yeartopicsandapplications,UTiCSbookstakeafresh,concise,andmodernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumerousexa
3、mplesandproblems.Manyincludefullyworkedsolutions.Moreinformationaboutthisseriesathttp://www.springer.com/series/7592KentD.LeeFoundationsofProgrammingLanguages123KentD.LeeLutherCollegeDecorah,IAUSASerieseditorIanMackieAdvisoryBoardSamsonAbramsky,UniversityofOxford,Oxford,UKKarinB
4、reitman,PontificalCatholicUniversityofRiodeJaneiro,RiodeJaneiro,BrazilChrisHankin,ImperialCollegeLondon,London,UKDexterKozen,CornellUniversity,Ithaca,USAAndrewPitts,UniversityofCambridge,Cambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,KongensLyngby,DenmarkStevenSkiena,S
5、tonyBrookUniversity,StonyBrook,USAIainStewart,UniversityofDurham,Durham,UKISSN1863-7310ISSN2197-1781(electronic)UndergraduateTopicsinComputerScienceISBN978-3-319-13313-3ISBN978-3-319-13314-0(eBook)DOI10.1007/978-3-319-13314-0LibraryofCongressControlNumber:2014956497SpringerChamH
6、eidelbergNewYorkDordrechtLondon©SpringerInternationalPublishingSwitzerland2014Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broadcasting,r
7、eproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereafterdeveloped.Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispu
8、blicationdoesnotimply,evenintheabsenceofaspecifi
