The 19th Workshop on
Logic-based methods in Programming Environments
WLPE 2009

                                                       Satellite event of  25th International Conference on Logic Programming (ICLP 2009) 

o  Workshop Description
o  Call for Papers
o  Important Dates
o  Program Committee
o  Organization
o  Publication
o  Submissions
o  Invited Speaker
o  Previous Editions
o  Workshop Program New

Workshop Description

Software plays a crucial role in modern society. While software keeps on growing in size and complexity, it is more than ever required to be delivered on time, free of error and meeting the most stringent efficiency requirements. Thus more demands are placed on the software developer, and consequently, the need for methods and tools that support the programmer in every aspect of the software development process is widely recognized.

Practical logic-based software development methods and tools are the main topic of this workshop. Logic plays a fundamental role in analysis, verification and optimization in all programming languages, not only in those based directly on logic. The use of logic-based techniques in software development is a very  active area in computing; emerging programming paradigms and growing complexity of the properties to be verified pose new challenges for the community, while emerging reasoning techniques can be exploited.

Call for Papers  (.txt)

The 19thWorkshop on Logic-based methods in Programming Environments will take place in Pasadena (California, USA) as a satellite workshop of the 25th International Conference on Logic Programming (ICLP 2009, 14-17 July 2009). 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. As in recent years we interpret the workshop topics to include not only environmental tools for logic programming but increasingly also logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work,  papers describing the implementation of, and experience with, such tools will be welcome. 

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 analysis,
  • Constraints
  • Rewriting
  • Profiling and performance analysis,
  • Type and mode analysis,
  • Module systems,
  • Optimization tools,
  • Program understanding,
  • Refactoring
  • Logical meta-languages
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.

Important Dates

Paper Submission: May 11, 2009 (extended)
Notification of Authors: May 26, 2009
Camera-ready: June 10, 2009
Conference: July 14

Program Committee

Puri Arenas University Complutense of Madrid
Rafael Caballero University Complutense of Madrid
Michael Codish Ben-Gurion University of the Negev
John Gallagher University of Roskilde
Arnaud Gotlieb INRIA Rennes - Bretagne Atlantique Research Centre
Petra Hofstedt University of Technology Berlin 
Michael Leuschel University of Düsseldorf
German Puebla Technical University of Madrid
Mario Rodríguez-Artalejo University Complutense of Madrid
Tom Schrijvers K.U. Leuven
Alexander Serebrenik Eindhoven  University of Technology
Alexandre Tessier LIFO, Université d'Orléans
German Vidal Technical University of Valencia
Damiano Zanardini Technical University of Madrid



Informal proceedings will be published as a technical report and distributed at the workshop, as well as electronically at the Computing Research Repository (CoRR). 

Submission Guidelines

All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Papers must not exceed 15 pages in the Springer LNCS format. 

Submissions must be in the Springer LNCS format via the Easychair submission system.

Invited Speaker

Terrance Swift   CENTRIA — Universidade Nova de Lisboa

Previous Editions

 This workshop continues the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington D.C., USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges (Barcelona), Spain (2005), Seattle, USA (2006), Porto, Portugal (2007) and Udine, Italy (2008).  More information about the series of WLPE workshops can be found at

 Workshop program (Joint with CICLOPS)


09:30 - 09:55. Gopal Gupta. Goal-directed Execution of Answer Set   Programs

09:55 - 10:20. Ulrich Neumerkel. Mechanisms for side-effect free I/O

10:20 - 10:50 (coffee break)

WLPE Session

  10.50 - 11.25. Invited talk. Terrance Swift. User Environments for  Tabled Prolog: Progress and Open Issues

  11.25 - 11.50. Hai-Feng Guo, Wen Zheng and Mahadevan Subramaniam.  L2C2: Logic-based LSC Consistency Checking

  11.50 - 12.15. Francisco Javier Lopez-Fraguas and Juan Rodriguez-Hortala. The Full Abstraction Problem for Higher Order  Functional-Logic Programs

  12.15 -  12.40 Francisco Bueno, Jorge Navas and Manuel Hermenegildo.  Towards Parameterized Regular Type Inference Using Set Constraints


14:40 - 15:05. Neng-Fa Zhou. Recent Developments in B-Prolog

15:05 - 15:30. Theofrastos Mantadelis and Gerda Janssens. Tabling  relevant parts of SLD proofs for ground goals in a probabilistic setting

15:30 - 15:55. Quan Phan and Gerda Janssens. More Precise Region-Based Memory Management for Mercury Programs

15:55 - 16:25 (coffee break)

16:25 - 16:50. Dragan Ivanovic, Jose F. Morales, Manuel Carro and Manuel Hermenegildo. Towards Structured State Threading in Prolog

16:50 - 17:15. Inês Dutra. To ILP or not to ILP

17:15 - 17:40. Neda Saeedloei, Gopal Gupta. Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)