logicbased program synthesis and transformation, danny de schreye lncs 6037, springer, 2010外语英文电子书

logicbased program synthesis and transformation, danny de schreye lncs 6037, springer, 2010外语英文电子书

ID:8011916

大小:2.58 MB

页数:214页

时间:2018-03-04

logicbased program synthesis and transformation, danny de schreye  lncs 6037, springer, 2010外语英文电子书_第1页
logicbased program synthesis and transformation, danny de schreye  lncs 6037, springer, 2010外语英文电子书_第2页
logicbased program synthesis and transformation, danny de schreye  lncs 6037, springer, 2010外语英文电子书_第3页
logicbased program synthesis and transformation, danny de schreye  lncs 6037, springer, 2010外语英文电子书_第4页
logicbased program synthesis and transformation, danny de schreye  lncs 6037, springer, 2010外语英文电子书_第5页
资源描述:

《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

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。