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

2001/11/16 by Anthony Kusalik, Kusalik, Anthony
Computer Science · #D.1.6 #D.2.5 #D.2.6 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.3 #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.PL #cs.SE

paper · pdf · doi:10.48550/arxiv.cs/0111042

8 refereed papers; Anthony Kusalik, editor; 11WLPE, WLPE 2001

openalex publication_date 2001/11/16 · arxiv created 2001/11/22 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Proceedings of the 12th International Workshop on Logic Programming Environments
• Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
• Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)
• 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)
• Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain