|
|
|
|
Workshop Report
Workshop on Logic-based Methods in Programming Environments (WLPE'07)
Workshop Web Page: http://www.comp.leeds.ac.uk/hill/WLPE07/ This year's edition of WLPE, the Workshop on Logic-based Methods in Programming Environments, took place in the magnificent and welcoming city of Porto in the University of Porto. The aim of this one-day workshop was to provide an informal meeting for researchers working on (logic-based) methods and tools that support the development and analysis of programs. The workshop attracted 11 submissions of which the program committee decided to accept 8 for publication in the workshop proceedings. The authors of the other papers were nevertheless invited to briefly present their work at the workshop; an invitation that was accepted by one of them. The presentations were grouped around 3 major themes with 3 corresponding sessions. First, we had a session on debugging and optimization, with talks by Lee Naish ({\em declarative diagnosis of floundering}), Pierre Deransart (observational semantics of the Prolog resolution box model) and François Gobert (source-to-source optimizing transformations of Prolog programs based on abstract interpretation). Then followed a session on code and documentation generation, with presentations by Andràs Gyorgy Bèkès (optimizing queries in a logic-based information integration system), Jan Wielemaker (PIDoc: Wiki style literate programming for Prolog), Michael Hanus (compiling ER specifications into declarative programs) and Guillem Marpons-Ucero (automatic coding rule conformance checking using logic programs). After lunch, we had a final session on program analysis, with presentations by Patricia Hill (a Prolog-based environment for reasoning about programming languages) and Kim Henriksen (experiments with a convex polyhedral analysis tool for logic programs). Each session attracted 20 to 25 attendees, which ensured a lively discussion between (and sometimes during) the presentations. In all, thanks to the ICLP 2007 organizers, the WLPE 2007 Programme Committee and all the participants, the 17th edition of this workshop was a pleasant, instructive and worthwile event. |
|
|