programming languages and operational semantics - a concise overview (springer, 2014)

《programming languages and operational semantics - a concise overview (springer, 2014)》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、UndergraduateTopicsinComputerScienceMaribelFernándezProgrammingLanguagesandOperationalSemanticsAConciseOverviewUndergraduateTopicsinComputerScienceUndergraduateTopicsinComputerScience(UTiCS)delivershigh-qualityinstructionalcontentforundergraduatesstudyingin

2、allareasofcomputingandinformationscience.Fromcorefoundationalandtheoreticalmaterialtofinal-yeartopicsandapplications,UTiCSbookstakeafresh,concise,andmod-ernapproachandareidealforself-studyorforaone-ortwo-semestercourse.Thetextsareallauthoredbyestablishedexpe

3、rtsintheirfields,reviewedbyaninternationaladvisoryboard,andcontainnumer-ousexamplesandproblems.Manyincludefullyworkedsolutions.Forfurthervolumes:http://www.springer.com/series/7592MaribelFernándezProgrammingLanguagesandOperationalSemanticsAConciseOverview123

4、Prof.MaribelFernándezKing’sCollegeLondonLondonUKSerieseditorIanMackieAdvisoryBoardSamsonAbramsky,UniversityofOxford,Oxford,UKKarinBreitman,PontificalCatholicUniversityofRiodeJaneiro,RiodeJaneiro,BrazilChrisHankin,ImperialCollegeLondon,London,UKDexterKozen,Co

5、rnellUniversity,Ithaca,USAAndrewPitts,UniversityofCambridge,Cambridge,UKHanneRiisNielson,TechnicalUniversityofDenmark,KongensLyngby,DenmarkStevenSkiena,StonyBrookUniversity,StonyBrook,USAIainStewart,UniversityofDurham,Durham,UKISSN1863-7310ISSN2197-1781(ele

6、ctronic)ISBN978-1-4471-6367-1ISBN978-1-4471-6368-8(eBook)DOI10.1007/978-1-4471-6368-8SpringerLondonHeidelbergNewYorkDordrechtLibraryofCongressControlNumber:2014932000ÓSpringer-VerlagLondon2014Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,w

7、hetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformationstorageandretrieval,electronicadaptation,comput

8、ersoftware,orbysimilarordissimilarmethodologynowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnectionwithreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepu