Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016

This special issue contains the revised and extended versions of selected papers presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held during September 6–8, 2016, at the University of Edinburgh, Scotland, UK. The aim of the LOPSTR symposium series is to stimulate and promote international research and collaboration on logic-based program development in any language paradigm, including all stages of the software life cycle.