Logic-Based Program Synthesis and Transformation

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

  • Danny De Schreye
Conference proceedings LOPSTR 2009
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6037)

Table of contents

  1. Front Matter
  2. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Pages 5-21
  3. Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
    Pages 22-36
  4. Peter Schneider-Kamp, Jürgen Giesl, Manh Thang Nguyen
    Pages 37-51
  5. José Iborra, Naoki Nishida, Germán Vidal
    Pages 52-66
  6. Marcin Czenko, Sandro Etalle
    Pages 67-81
  7. Richard Min, Gopal Gupta
    Pages 97-112
  8. Susumu Nishimura
    Pages 113-127
  9. François Degrave, Tom Schrijvers, Wim Vanhoof
    Pages 128-142
  10. Lăcrămioara Aştefănoaei, Frank S. de Boer, M. Birna van Riemsdijk
    Pages 143-157
  11. Carl Friedrich Bolz, Michael Leuschel, Armin Rigo
    Pages 158-172
  12. Leonardo Scandolo, César Kunz, Manuel Hermenegildo
    Pages 173-187
  13. M. Alpuente, M. A. Feliú, C. Joubert, A. Villanueva
    Pages 188-204
  14. Back Matter

About these proceedings

Keywords

automata theory equational logic logic programming optimization pipelining proof theory software architecture verification

Editors and affiliations

  • Danny De Schreye
    • 1
  1. 1.Department of Computer ScienceK.U.LeuvenHeverleeBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-12592-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-12591-1
  • Online ISBN 978-3-642-12592-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349