Opening book details…
Can I read Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science (2664)) on EtoBox?
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science (2664)) by María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.) is a nonfiction available to read on EtoBox.
What is Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science (2664)) 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, verification, partial evaluation, and rewriting and object-oriented development.
Who reads Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science (2664))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2003
- Language
- EN
- ISBN
- 9783540404385
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Science
More by María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (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: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science, 2372) — Natarajan Shankar (auth.), Alberto Pettorossi (2002)
- Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings (Lecture Notes in Computer Science, 1048) — Michael Leuschel (auth.), Maurizio Proietti (1996)
- 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)
- 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)
