Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Publication year: 2008
ISBN: 978-3-540-78769-3
Internet Resource: Please Login to download book
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in KongensLyngby, Denmark, August 23-24,2007. LOPSTR thus traditionally solicits papers in the areas of: speci?cation, synthesis, veri?cation, transformation, analysis, optimization, composition, security, reuse, applications andtools, component-baseds of tware development, softwarearchitectures, age- based software development and program refnement. Formal proceedings are produced only after the symposium, so that authors can incorporate this fe- back in the published papers.
Subject: Computer Science, agent-based software development, algorithm, algorithms, analysis, component-based software development, composition, logic, modeling, optimisation, program refinement, proving, reuse, software architectures, specification, verification, Software Engineering, Programming and Operating Systems, Logics and Meanings of Programs, Programming Techniques, Mathematical Logic and Formal Languages, Artificial Intelligence
