Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

  • Sandro Etalle
Conference proceedings LOPSTR 2004
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3573)

Table of contents

  1. Front Matter
  2. Verification and Analysis

    1. P. López-García, F. Bueno, M. Hermenegildo
      Pages 19-35
    2. Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir
      Pages 36-52
    3. Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen
      Pages 53-68
  3. Theory and Security

    1. Jonathan Moody
      Pages 69-84
    2. Annalisa Bossi, Carla Piazza, Sabina Rossi
      Pages 85-100
    3. Santiago Escobar, José Meseguer, Prasanna Thati
      Pages 101-116
  4. Transformations

    1. Taisuke Sato, Yoshitaka Kameya
      Pages 117-132
    2. Germán Puebla, Elvira Albert, Manuel Hermenegildo
      Pages 149-165
  5. Program Development

    1. B. Brassel, M. Hanus, F. Huch, J. Silva, G. Vidal
      Pages 182-197
    2. Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
      Pages 198-214
  6. Termination

    1. M. R. K. Krishna Rao
      Pages 215-230
    2. Alexander Serebrenik, Fred Mesnard
      Pages 231-244
  7. Program Development and Synthesis

  8. Back Matter

About these proceedings

Keywords

computational logic constraint programming formal methods functional programming imperative programming logic logic program manipulation logic programming program analysis program syntesis program transformation program verification programming theor semantics verification

Editors and affiliations

  • Sandro Etalle
    • 1
  1. 1.University of TwenteThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/b137785
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-26655-6
  • Online ISBN 978-3-540-31683-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book