Theoretical Computer Science and General Issues
© 2012
Logic-Based Program Synthesis and Transformation
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Editors: Vidal, Germán (Ed.)
Free Preview- State of the art research
- Fast track conference proceedings
- Up to date results
Buy this book
- About this book
-
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logic-Based Program Synthesis and Transformation
- Book Subtitle
- 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
- Editors
-
- Germán Vidal
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 7225
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-32211-2
- DOI
- 10.1007/978-3-642-32211-2
- Softcover ISBN
- 978-3-642-32210-5
- Edition Number
- 1
- Number of Pages
- X, 254
- Number of Illustrations
- 61 b/w illustrations
- Topics
