Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01)
Anthony Kusalik

TL;DR
The WLPE'01 workshop showcased recent advances in logic programming environments, emphasizing constraint logic programming, visualization, debugging, and support for new paradigms, fostering development and learning tools in the field.
Contribution
This workshop compiled eight refereed papers highlighting novel tools and methods for logic programming environments, especially in constraint programming and software development aids.
Findings
Emphasis on constraint logic programming tools
Development of visualization and debugging aids
Support for new paradigms in logic programming
Abstract
The Eleventh Workshop on Logic Programming Environments (WLPE'01) was one in a series of international workshops in the topic area. It was held on December 1, 2001 in Paphos, Cyprus as a post-conference workshop at ICLP 2001. Eight refereed papers were presented at the conference. A majority of the papers involved, in some way, constraint logic programming and tools for software development. Other topics areas addressed include execution visualization, instructional aids (for learning users), software maintenance (including debugging), and provisions for new paradigms.
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, programming, and type systems · Model-Driven Software Engineering Techniques · Formal Methods in Verification
