资源描述：
《introduction to the theory of programming languages (springer, 2011)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、UndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)delivershigh-qualityinstructionalcontentforun-dergraduatesstudyinginallareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialtofinal-yeartopicsandapplicatio
2、ns,UTiCSbookstakeafresh,concise,andmod-ernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpertsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumer-ousexamplesandproblems.Manyincludefullyworked
3、solutions.Forothervolumes:http://www.springer.com/series/7592GillesDowekJean-JacquesLévyIntroductiontotheTheoryofProgrammingLanguagesGillesDowekJean-JacquesLévyLabo.d’InformatiqueCentredeRechercheCommunÉcolepolytechniqueINRIA-MicrosoftResearchroutedeSaclayPar
4、cOrsayUniversité91128Palaiseau28rueJeanRostandFrance91893OrsayCedexgilles.dowek@polytechnique.eduFrancejean-jacques.levy@inria.frSerieseditorIanMackieAdvisoryboardSamsonAbramsky,UniversityofOxford,Oxford,UKChrisHankin,ImperialCollegeLondon,London,UKDexterKozen
5、,CornellUniversity,Ithaca,USAAndrewPitts,UniversityofCambridge,Cambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,Lungby,DenmarkStevenSkiena,StonyBrookUniversity,StonyBrooks,USAIainStewart,UniversityofDurham,Durham,UKTheworkwasfirstpublishedin2006byLesed
6、itionsdel’Écolepolytechniquewiththefollowingti-tle:‘Introductionàlathéoriedeslangagesdeprogrammation’.ThetranslatoroftheworkisMaribelFernandez.ISSN1863-7310ISBN978-0-85729-075-5e-ISBN978-0-85729-076-2DOI10.1007/978-0-85729-076-2SpringerLondonDordrechtHeidelber
7、gNewYorkBritishLibraryCataloguinginPublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLibrary©Springer-VerlagLondonLimited2011Apartfromanyfairdealingforthepurposesofresearchorprivatestudy,orcriticismorreview,asper-mittedundertheCopyright,Design
8、sandPatentsAct1988,thispublicationmayonlybereproduced,storedortransmitted,inanyformorbyanymeans,withthepriorpermissioninwritingofthepublish-ers,orinthecaseofreprographicreproductio
