Logic-Based Program Synthesis and Transformation

22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

  • Elvira Albert
Conference proceedings LOPSTR 2012

DOI: 10.1007/978-3-642-38197-3

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

Table of contents

  1. Front Matter
  2. Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
    Pages 1-1
  3. Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey
    Pages 2-16
  4. Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
    Pages 17-34
  5. Céline Dandois, Wim Vanhoof
    Pages 35-50
  6. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Pages 51-70
  7. David Insa, Josep Silva, César Tomás
    Pages 71-88
  8. Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
    Pages 89-105
  9. Heiko Mantel, Henning Sudbrock
    Pages 106-121
  10. Kyle Marple, Gopal Gupta
    Pages 122-136
  11. Naoki Nishida, Germán Vidal
    Pages 137-154
  12. Minami Niwa, Naoki Nishida, Masahiko Sakai
    Pages 155-175
  13. José Miguel Rojas, Miguel Gómez-Zamalloa
    Pages 176-193
  14. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 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

answer set programming constraint logic programming declarative debugging security type system software testing

Editors and affiliations

  • Elvira Albert
    • 1
  1. 1.Department of Computer Science (DSIC)Complutense University of MadridMadridSpain

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38196-6
  • Online ISBN 978-3-642-38197-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349