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
    2. Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof
      Pages 221-226
    3. Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández
      Pages 227-243
    4. Dipak L. Chaudhari, Om Damani
      Pages 244-258
  9. Program Debugging and Slicing

    1. Front Matter
      Pages 259-259
    2. David Insa, Josep Silva
      Pages 261-276
    3. Adrián Palacios, Germán Vidal
      Pages 277-292
    4. Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
      Pages 293-310
  10. Smart Environments

    1. Front Matter
      Pages 311-311
    2. Serge Autexier, Dieter Hutter
      Pages 313-328
  11. Program Transformation

    1. Front Matter
      Pages 329-329
    2. Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama
      Pages 331-345
  12. Constraint Solving and Programming

    1. Front Matter
      Pages 347-347
    2. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
      Pages 349-364
    3. Arwa Ismail, Nada Sharaf, Slim Abdennadher
      Pages 365-383
  13. Back Matter
    Pages 385-385

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

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-27435-5
  • Online ISBN 978-3-319-27436-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software