Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)
arXiv:0712.3116
Abstract
This volume contains the papers presented at WLPE 2007: the 17th Workshop on Logic-based Methods in Programming Environments on 13th September, 2007 in Porto, Portugal. It was held as a satellite workshop of ICLP 2007, the 23th International Conference on Logic Programming.