18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
Puri Arenas, Damiano Zanardini

TL;DR
The WLPE 2008 workshop showcased recent advances in logic-based methods applied to programming environments, emphasizing research presented at a specialized conference held in Italy as part of the ICLP 2008 event.
Contribution
This volume compiles innovative research papers on logic-based techniques in programming environments, highlighting ongoing developments in the field.
Findings
Presentation of cutting-edge research at WLPE 2008
Integration of logic methods into programming tools
Advancements discussed at the workshop
Abstract
This volume contains the papers presented at WLPE 2008: the 18th Workshop on Logic-based Methods in Programming Environments held on 12th December, 2008 in Udine, Italy. It was held as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming.
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
TopicsLogic, Reasoning, and Knowledge · Logic, programming, and type systems
