資源描述:
《programming languages and systems, springer 2011外語(yǔ)英文電子書(shū)》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。
1、LectureNotesinComputerScience7078CommencedPublicationin1973FoundingandFormerSeriesEditors:GerhardGoos,JurisHartmanis,andJanvanLeeuwenEditorialBoardDavidHutchisonLancasterUniversity,UKTakeoKanadeCarnegieMellonUniversity,Pittsburgh,PA,USAJosefKittlerUniversityofSurrey,G
2、uildford,UKJonM.KleinbergCornellUniversity,Ithaca,NY,USAAlfredKobsaUniversityofCalifornia,Irvine,CA,USAFriedemannMatternETHZurich,SwitzerlandJohnC.MitchellStanfordUniversity,CA,USAMoniNaorWeizmannInstituteofScience,Rehovot,IsraelOscarNierstraszUniversityofBern,Switzer
3、landC.PanduRanganIndianInstituteofTechnology,Madras,IndiaBernhardSteffenTUDortmundUniversity,GermanyMadhuSudanMicrosoftResearch,Cambridge,MA,USADemetriTerzopoulosUniversityofCalifornia,LosAngeles,CA,USADougTygarUniversityofCalifornia,Berkeley,CA,USAGerhardWeikumMaxPla
4、nckInstituteforInformatics,Saarbruecken,GermanyHongseokYang(Ed.)ProgrammingLanguagesandSystems9thAsianSymposium,APLAS2011Kenting,Taiwan,December5-7,2011Proceedings13VolumeEditorHongseokYangUniversityofOxfordDepartmentofComputerScienceParksRoadOxfordOX13QD,UKE-mail:hon
5、gseok.yang@cs.ox.ac.ukISSN0302-9743e-ISSN1611-3349ISBN978-3-642-25317-1e-ISBN978-3-642-25318-8DOI10.1007/978-3-642-25318-8SpringerHeidelbergDordrechtLondonNewYorkLibraryofCongressControlNumber:2011941029CRSubjectClassi?cation(1998):D.3,D.2,F.3,D.4,D.1,F.4.1,C.2LNCSSub
6、library:SL2–ProgrammingandSoftwareEngineering?Springer-VerlagBerlinHeidelberg2011Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialisconcerned,speci?callytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
7、reproductiononmicro?lmsorinanyotherway,andstorageindatabanks.DuplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
8、toprosecutionundertheGermanCopyrightLaw.Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoes