Logic-Based Program Synthesis and Transformation

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

  • Germán Vidal

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

Table of contents

  1. Front Matter
  2. Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas
    Pages 25-41
  3. Jesús M. Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
    Pages 42-56
  4. Pedro Cabalar, Stéphane Demri
    Pages 57-72
  5. Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
    Pages 73-89
  6. Céline Dandois, Wim Vanhoof
    Pages 90-105
  7. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Pages 106-122
  8. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano et al.
    Pages 123-138
  9. José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé
    Pages 139-154
  10. Paulo Moura
    Pages 155-172
  11. Maribel Fernández, Hélène Kirchner, Olivier Namet
    Pages 173-188
  12. Paolo Pilozzi, Danny De Schreye
    Pages 189-204
  13. Jon Sneyers, Danny De Schreye
    Pages 221-236
  14. Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs
    Pages 237-252
  15. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Keywords

analysis domain-specific languages graph transformations logic programs semantics

Editors and affiliations

  • Germán Vidal
    • 1
  1. 1.MiST, DSICUniversitat Politècnica de ValènciaValenciaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-32211-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-32210-5
  • Online ISBN 978-3-642-32211-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book