Opening book details…
Can I read Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers on EtoBox?
Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers by Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.) is a computer science book available to read on EtoBox.
What is Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers about?
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/m
Who reads Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2011
- Language
- EN
- ISBN
- 9783642205507
- Category
- computer science
- Subjects
- Technology, Programming, Logic Design
- Updated
- 2026-03-25
More by Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Browse all works by Olivier Danvy, Ian Zerny (auth.), María Alpuente (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 : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers — Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (2009)
- 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 : 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: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Lecture Notes in Computer Science, 8981) — Hirohisa Seki Maurizio Proietti (2015)
