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

TL;DR

This collection of papers from WLPE 2013 showcases recent advances in logic-based methods applied to programming environments, emphasizing new techniques, tools, and theoretical insights discussed during the workshop.

Contribution

The volume compiles novel research and developments in logic-based programming environments presented at WLPE 2013, highlighting advancements since prior workshops.

Findings

Introduction of new logic-based programming tools

Enhanced methods for program verification

Innovative approaches to logic programming environments

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).