Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10184)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): LOPSTR: International Symposium on Logic-Based Program Synthesis and Transformation
Conference proceedings info: LOPSTR 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (20 papers)
-
Front Matter
-
Constraint Programming
-
Front Matter
-
About this book
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.
The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 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. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion,applications, and tools.
Keywords
- Logic and verification
- Programming logic
- Program specifications
- Program verification
- Program analysis
- Program semantics
- System description languages
- Specification languages
- logic programming
- language
- semantics
- verfification
- model checking
- constraint programming
- logic programs
- haskell
- algorithm analysis and problem complexity
Editors and Affiliations
-
IMDEA Software Institute and Universidad Politécnica de Madrid, Madrid, Spain
Manuel V Hermenegildo
-
IMDEA Software Institute and CSIC, Madrid, Spain
Pedro Lopez-Garcia
Bibliographic Information
Book Title: Logic-Based Program Synthesis and Transformation
Book Subtitle: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Editors: Manuel V Hermenegildo, Pedro Lopez-Garcia
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-63139-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-63138-7Published: 25 July 2017
eBook ISBN: 978-3-319-63139-4Published: 21 July 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 361
Number of Illustrations: 75 b/w illustrations
Topics: Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Software Engineering, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity