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

TL;DR

The WLPE 2009 workshop showcased recent advances in logic-based methods and tools that support programming and analysis across various environments, broadening focus from logic programming to general programming tools.

Contribution

This workshop highlights the shift towards logic-based environmental tools for general programming, fostering wider scientific engagement and collaboration.

Findings

Increased integration of logic-based tools in programming environments.

Broader applicability of logic methods beyond logic programming.

Enhanced peer review process ensuring high-quality submissions.

Abstract

This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. WLPE aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analy- sis. This year, we have continued and consolidated the shift in focus from en- vironmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. All the papers submitted to WLPE'09 have gone through a careful process of peer reviewing, with at least three reviews for each paper and a subsequent in-depth discussion in the Program Committee.