Call for Papers
(pdf version here)
The aim of this workshop is to provide an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. The 2008 edition will continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general. Areas particularly relevant to the workshop include (but are not limited to):
  • static and dynamic analysis
  • debugging and testing
  • program verification and validation
  • code generation from specifications
  • termination and non-termination analysis
  • reasoning on occurs-check freeness and determinacy,
  • profiling and performance analysis
  • type- and mode analysis
  • module systems
  • optimization tools
Authors who are interested in taking part in the workshop, but are unsure if their work falls within its scope, are invited to contact the organizers and will be given suitable advice.


Submission
Papers should be submitted to the submission website for WLPE'08. The length of papers can range from 2 to 15 pages in LNCS style. Informal proceedings will be distributed at the workshop. After the workshop, proceedings will be available on-line in the Computing Research Repository (CoRR).
In addition to papers describing conceptual and theoretical work, papers describing the implementation of and the experience with tools are welcome.