Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
Fabio Fioravanti, John P. Gallagher
TL;DR
This document presents the pre-proceedings of the 27th LOPSTR symposium, summarizing discussions and papers on logic-based program synthesis and transformation, held in Namur, Belgium, in October 2017.
Contribution
It compiles the initial submissions and discussions from the symposium, serving as a precursor to the formal proceedings.
Findings
Summary of research topics discussed at LOPSTR 2017
Highlights of key presentations and discussions
Preparation for formal peer review process
Abstract
This volume constitutes the pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 10-12th October 2017 in Namur, Belgium, and co-located with the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Reliability and Analysis Research · Software Testing and Debugging Techniques · Formal Methods in Verification