Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

  • Andy King
Conference proceedings LOPSTR 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4915)

Table of contents

  1. Front Matter
  2. Program Termination

    1. Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye
      Pages 8-22
    2. Elvira Albert, John Gallagher, Miguel Gómez-Zamalloa, Germán Puebla
      Pages 23-42
  3. Program Transformation

    1. François Degrave, Wim Vanhoof
      Pages 43-58
    2. Peter Van Weert, Jon Sneyers, Bart Demoen
      Pages 59-73
    3. Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal
      Pages 74-89
    4. Bernd Braßel, Jan Christiansen
      Pages 90-105
  4. Constraint Solving and Analysis

    1. Slim Abdennadher, Ingi Sobhi
      Pages 106-120
    2. Ye Zhang, Flemming Nielson
      Pages 121-137
    3. Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
      Pages 138-153
    4. Mario Méndez-Lojo, Jorge Navas, Manuel V. Hermenegildo
      Pages 154-168
  5. Software Engineering

    1. Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
      Pages 169-184
    2. Annalisa Bossi, Carla Piazza, Sabina Rossi
      Pages 201-217
  6. Back Matter

About these proceedings

Keywords

agent-based software development algorithm algorithms analysis component-based software development composition logic modeling optimisation program refinement proving reuse software architectures specification verification

Editors and affiliations

  • Andy King
    • 1
  1. 1.Portcullis Computer Security Limited, PinnerUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78769-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78768-6
  • Online ISBN 978-3-540-78769-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349