第26届基于逻辑的程序合成与转换国际研讨会（LOPSTR 2016）
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
摘要：
本卷是2016年9月6日至8日在英国苏格兰爱丁堡举行的第26届基于逻辑的程序合成和转换国际研讨会（LOPSTR 2016）的预录，与第18届声明式编程原理与实践国际研讨会（PPDP 2016）和第23届静态分析研讨会（SAS 2016）位于同一地点。在研讨会讨论后，论文将通过第二轮评审和选择的正式程序。
英文摘要：
This volume constitutes the pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 6-8th September 2016 in Edinburgh, Scotland UK, and co-located with the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016) and the 23rd Static Analysis Symposium (SAS 2016). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
