Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)
Fred Mesnard, Peter J. Stuckey
TL;DR
This document compiles the pre-proceedings of LOPSTR 2018, an international symposium focused on logic-based program synthesis and transformation, held alongside other related programming conferences in Frankfurt, Germany.
Contribution
It presents the collection of research papers and discussions from LOPSTR 2018, highlighting recent advances in logic-based program synthesis and transformation.
Findings
Showcase of new logic programming techniques
Advances in program transformation methods
Integration with other declarative programming paradigms
Abstract
This volume constitutes the pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), held on 4-6th September 2018 in Frankfurt am Main, Germany and co-located with the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) and the 26th International Workshop on Functional and Logic Programming (WFLP 2018).
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
TopicsFormal Methods in Verification · Logic, programming, and type systems · Software Testing and Debugging Techniques