Opening book details…
Can I read Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers on EtoBox?
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers by Germán Vidal (auth.), Danny De Schreye (eds.) is a computer science book available to read on EtoBox.
What is Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers about?
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, veri
Who reads Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Germán Vidal (auth.), Danny De Schreye (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg; Springer
- Published
- 2010
- Language
- EN
- ISBN
- 9783540404385
- Category
- computer science
- Subjects
- Engineering, Mathematics, Language Learning
- Updated
- 2026-03-25
Other editions & translations
More by Germán Vidal (auth.), Danny De Schreye (eds.)
Browse all works by Germán Vidal (auth.), Danny De Schreye (eds.)
Similar books
- 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)
- 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 : 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 : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers — John P. Gallagher (auth.), Germán Vidal (2012)
- Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers — Wim Vanhoof (auth.), Sandro Etalle (2005)
