Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)

2013/08/09 by Haemmerlé, Rémy, Morales, Jose
#FOS: Computer and information sciences #Programming Languages (cs.PL)

paper · doi:10.48550/arxiv.1308.2055

Abstract

This volume contains the papers presented at the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), which was held in Istanbul, Turkey, on August 24 & 25 2013 as a satellite event of the 29th International Conference on Logic Programming, (ICLP 2013).

Related

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