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

DOI: 10.1007/978-3-642-12592-8

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

  • 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