Logic-Based Program Synthesis and Transformation

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

  • Gopal Gupta
  • Ricardo Peña

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
    Pages 19-37
  3. Elvira Albert, Samir Genaim, Raúl Gutiérrez
    Pages 38-53
  4. Naoki Nishida, Germán Vidal
    Pages 54-71
  5. Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lopez-Garcia, Neville Grech et al.
    Pages 72-90
  6. Olivier Danvy, Jacob Johannsen
    Pages 91-108
  7. Germán Vidal
    Pages 109-126
  8. Neda Saeedloei
    Pages 164-182
  9. Juan González, David Insa, Josep Silva
    Pages 183-201
  10. Sergio Antoy, Andy Jost
    Pages 202-219
  11. Back Matter
    Pages 237-237

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013.

The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

Keywords

Alternating Automata Answer Set Programming Constraint Logic Programming Declarative Debugging Formal Semantics Functional Programming Interpreter Generation Languages Linear Algebra Logic Programming Operational Semantics Program Synthesis Program Transformation Security Type System Software Testing Static Analysis Verification

Editors and affiliations

  • Gopal Gupta
    • 1
  • Ricardo Peña
    • 2
  1. 1.The University of Texas at DallasRichardsonUSA
  2. 2.Universidad Complutense de MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-14125-1
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-14124-4
  • Online ISBN 978-3-319-14125-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book