Advertisement

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

  • Alberto Pettorossi
Conference proceedings LOPSTR 2001

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Invited Speaker

  3. Program Transformation and Equivalence

    1. Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis
      Pages 25-45
    2. Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
      Pages 46-56
    3. Mauricio Osorio, Juan A. Navarro, José Arrazola
      Pages 57-75
  4. Program Verificaion

  5. Program Analysis

    1. Wim Vanhoof, Maurice Bruynooghe
      Pages 129-147
    2. Elvira Albert, Germán Vidal
      Pages 148-167
  6. Program Development

    1. Kung-Kiu Lau, Mario Ornaghi
      Pages 168-190
    2. Sébastien Ferré, Olivier Ridoux
      Pages 191-215
    3. José J. Alferes, Antonio Brogi, João A. Leite, Luís M. Pereira
      Pages 216-232
  7. Program Synthesis

    1. Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi
      Pages 245-265
  8. Back Matter
    Pages 267-267

About these proceedings

Keywords

Program analysis computational logic constrain programming formal methods functional programming imperative programming logic logic programming program synthesis program transformation program verification verification

Editors and affiliations

  • Alberto Pettorossi
    • 1
  1. 1.University of Rome Tor VergataRomeItaly

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45607-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43915-8
  • Online ISBN 978-3-540-45607-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site