Opening book details…
Can I read Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers on EtoBox?
Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers by John P. Gallagher (auth.), Germán Vidal (eds.) is a nonfiction available to read on EtoBox.
What is Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers about?
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. Erscheinungsdatum: 20.10.2012
Who reads Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- John P. Gallagher (auth.), Germán Vidal (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2012
- Language
- EN
- ISBN
- 9783540404385
- Category
- nonfiction
- Subjects
- Mathematics, Engineering, Science
More by John P. Gallagher (auth.), Germán Vidal (eds.)
Browse all works by John P. Gallagher (auth.), Germán Vidal (eds.)
Similar books
- Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers — Germán Vidal (auth.), Danny De Schreye (2010)
- Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers — Jürgen Giesl, Thomas Ströder (auth.), Elvira Albert (2013)
- Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers — Michael Codish (auth.), Andy King (2008)
- Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers — Olivier Danvy, Ian Zerny (auth.), María Alpuente (2011)
- Logic-based program synthesis and transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 : revised selected papers — Gopal Gupta, Ricardo Peña (2014)
- Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers — Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (2009)
