Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/144559This 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.Programming LanguagesSoftware EngineeringD.2.6; D.1.6Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)text