Logic-based Program Synthesis And Transformation: 19th International Symposium, Lopstr 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science And General Issues)

E-Book Overview

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

E-Book Content

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany 6037 Danny De Schreye (Ed.) Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009 Coimbra, Portugal, September 2009 Revised Selected Papers 13
You might also like

Encyclopedia Of Smart Materials
Authors: Mel Schwartz    156    0



преобразование фурье. лекции
Authors: Александров В.А.    286    0


неравенства
Authors: Соловьёв Ю.П.    230    0


Sams Teach Yourself Linux In 24 Hours
Authors: Ball B.    180    0


Suse Linux 10 For Dummies
Authors: Naba Barkakati    197    0


Math Proofs Demystified
Authors: Stan Gibilisco    152    0


Windows Vista For Dummies Quick Reference
Authors: Greg Harvey    154    0



Starting An Online Business For Dummies
Authors: Greg Holden    135    0