Logic Based Program Synthesis and Transformation基于逻辑的程序合成与转换

TheLNCSseriesreportsstate-of-the-artresultsincomputerscienceresearch,development,andeducation,atahighlevelandinbothprintedandelectronicform.EnjoyingtightcooperationwiththeR&Dcommunity,withnumerousindividuals,aswellaswithprestigiousorganizationsandSocieties,LNCShasgrownintothemostcomprehensivecomputerscienceresearchforumavailable.ThescopeofLNCS,includingitssubseriesLNAI,spansthewholerangeofcomputerscienceandinformationtechnologyincludinginterdisciplinarytopicsinavarietyofapplicationfields.Thetypeofmaterialpublishedtraditionallyincludes-Proceedings（publishedintimefortherespectiveconference）-Post-proceedings（consistingofthoroughlyrevisedfinalfullpapers）-researchmonographs（whichmaybebasedonoutstandingPhDwork,researchprojects,technicalreports,etc.）