Logic-Based Program Synthesis and Transformation

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

  • Editors
  • Germán Puebla
Conference proceedings LOPSTR 2006

DOI: 10.1007/978-3-540-71410-1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4407)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Program Development

    1. Slim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet
      Pages 17-25
    2. Chiaki Sakama, Katsumi Inoue
      Pages 26-42
  4. Partial Evaluation and Program Transformation

    1. Michael Leuschel, Stephen-John Craig, Dan Elphick
      Pages 43-59
    2. Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
      Pages 60-76
    3. José F. Morales, Manuel Carro, Manuel Hermenegildo
      Pages 77-93
  5. Security and Synthesis

    1. Heiko Mantel, Henning Sudbrock, Tina Kraußer
      Pages 94-110
    2. Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
      Pages 111-126
    3. Sven Schewe, Bernd Finkbeiner
      Pages 127-142
  6. Debugging and Testing

    1. Bernd Brassel, Sebastian Fischer, Frank Huch
      Pages 160-176
  7. Termination and Analysis

    1. Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
      Pages 177-193
    2. Roberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella
      Pages 219-235
  8. Back Matter

About these proceedings

Keywords

Debugging algorithm algorithms computational logic constraint programming formal methods functional programming logic logic program manipulation nonmonotonic reasoning optimization progr program analysis proving semantic web

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-71409-5
  • Online ISBN 978-3-540-71410-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349