Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)

2007/01/24 by Wim Vanhoof, Vanhoof, Wim, Susana Muñoz-Hernández +1
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

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

Abstract

This volume contains the papers presented at WLPE'06: the 16th Workshop on Logic-based Methods in Programming Environments held on August 16, 2006 in the Seattle Sheraton Hotel and Towers, Seattle, Washington (USA). It was organised as a satellite workshop of ICLP'06, the 22th International Conference on Logic Programming.

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 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)
• 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)