© 2015

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

  • Moreno Falaschi
Conference proceedings LOPSTR 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9527)

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Dale Miller
      Pages 3-17
  3. Semantics of Logic Languages

    1. Front Matter
      Pages 19-19
    2. Hirohisa Seki
      Pages 21-35
  4. Efficient Compilation of Functional Logic Programs

    1. Front Matter
      Pages 55-55
    2. Sergio Antoy, Andy Jost
      Pages 57-72
    3. Sergio Antoy, Michael Hanus
      Pages 73-88
  5. Types and Security

    1. Front Matter
      Pages 89-89
    2. Peng Fu, Ekaterina Komendantskaya
      Pages 91-106
    3. Sandra Alves, Sabine Broda, Maribel Fernández
      Pages 107-123
  6. Optimization

    1. Front Matter
      Pages 125-125
    2. Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp
      Pages 127-142
    3. Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
      Pages 143-160
  7. Static Analysis

    1. Front Matter
      Pages 161-161
    2. Marco Comini, María del Mar Gallardo, Laura Titolo, Alicia Villanueva
      Pages 163-178
    3. Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi
      Pages 179-200
    4. Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner
      Pages 201-217
  8. Automated Verification

    1. Front Matter
      Pages 219-219

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015.

The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.


answer set programming constraint logic programming declarative debugging program analysis program synthesis abstract analysis access control concurrency declarative debugging description logic formal semantics pattern operations program analysis program transformation reduction systems smart environments software security static analysis term rewriting systems verification

Editors and affiliations

  • Moreno Falaschi
    • 1
  1. 1.Università di SienaSienaItaly

Bibliographic information

Industry Sectors
IT & Software