Logic-Based Program Synthesis and Transformation

20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

  • María Alpuente
Conference proceedings LOPSTR 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6564)

Table of contents

  1. Front Matter
  2. Olivier Danvy, Ian Zerny
    Pages 1-20
  3. Johann Schumann, Karen Cate, Alan Lee
    Pages 21-36
  4. Jónathan Heras, Vico Pascual, Julio Rubio
    Pages 37-51
  5. Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
    Pages 52-66
  6. Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
    Pages 67-83
  7. Kanako Sakurai, Kenichi Asai
    Pages 84-98
  8. Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla
    Pages 99-116
  9. Dean Voets, Danny De Schreye
    Pages 133-148
  10. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Pages 164-183
  11. Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl
    Pages 184-199
  12. Giovanni Bacci, Marco Comini
    Pages 215-233
  13. Christophe Calvès, Maribel Fernández
    Pages 234-248
  14. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Keywords

Formal Methods Partial Evaluation Programming languages Systems Modelling Type Systems

Editors and affiliations

  • María Alpuente
    • 1
  1. 1.ELP-DSICU. Politécnica de ValenciaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-20551-4
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20550-7
  • Online ISBN 978-3-642-20551-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349