Opening book details…
Can I read Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers on EtoBox?
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers by Wim Vanhoof (auth.), Sandro Etalle (eds.) is a computer science book available to read on EtoBox.
What is Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers about?
This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Program Synthesis and Transformation. LOPSTR 2004 took place in Verona, Italy, and was co-located with the International Static Analysis Symposium (SAS 2004), the ACM SIGPLAN 2004 Workshop on Partial Evaluation and Semantics Based Program Manipulation (PEPM 2004), and the 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2004)
Who reads Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Wim Vanhoof (auth.), Sandro Etalle (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2005
- Language
- EN
- ISBN
- 9783540316831
- Category
- computer science
- Subjects
- Mathematics, Technology, Language Learning
- Updated
- 2026-03-25
Other editions & translations
More by Wim Vanhoof (auth.), Sandro Etalle (eds.)
Browse all works by Wim Vanhoof (auth.), Sandro Etalle (eds.)
Similar books
- 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 : 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 : 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 : 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 : 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 : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 : revised selected papers — Gopal Gupta, Ricardo Peña (2014)