资源描述:
《logicbased program synthesis and transformation, danny de schreye lncs 6037, springer, 2010外语英文电子书》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、LectureNotesinComputerScience6037CommencedPublicationin1973FoundingandFormerSeriesEditors:GerhardGoos,JurisHartmanis,andJanvanLeeuwenEditorialBoardDavidHutchisonLancasterUniversity,UKTakeoKanadeCarnegieMellonUniversity,Pittsburgh,PA,USAJosefKittlerUniversityofSurr
2、ey,Guildford,UKJonM.KleinbergCornellUniversity,Ithaca,NY,USAAlfredKobsaUniversityofCalifornia,Irvine,CA,USAFriedemannMatternETHZurich,SwitzerlandJohnC.MitchellStanfordUniversity,CA,USAMoniNaorWeizmannInstituteofScience,Rehovot,IsraelOscarNierstraszUniversityofBern
3、,SwitzerlandC.PanduRanganIndianInstituteofTechnology,Madras,IndiaBernhardSteffenTUDortmundUniversity,GermanyMadhuSudanMicrosoftResearch,Cambridge,MA,USADemetriTerzopoulosUniversityofCalifornia,LosAngeles,CA,USADougTygarUniversityofCalifornia,Berkeley,CA,USAGerhard
4、WeikumMax-PlanckInstituteofComputerScience,Saarbruecken,GermanyDannyDeSchreye(Ed.)Logic-BasedProgramSynthesisandTransformation19thInternationalSymposium,LOPSTR2009Coimbra,Portugal,September2009RevisedSelectedPapers13VolumeEditorDannyDeSchreyeK.U.Leuven,Departmento
5、fComputerScienceCelestijnenlaan200A,3001Heverlee,BelgiumE-mail:danny.deschreye@cs.kuleuven.beLibraryofCongressControlNumber:2010924453CRSubjectClassification(1998):F.3,D.3,D.2,F.4.1,I.2.3,F.4LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssuesISSN0302-9743
6、ISBN-103-642-12591-3SpringerBerlinHeidelbergNewYorkISBN-13978-3-642-12591-1SpringerBerlinHeidelbergNewYorkThisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,re-useofillustrat
7、ions,recitation,broadcasting,reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.DuplicationofthispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtaine
8、dfromSpringer.ViolationsareliabletoprosecutionundertheGermanCopyrightLaw.springer.com©Springer-VerlagBerlinHeidelberg2010PrintedinGermanyTypesetting:Cam