The 17'th Workshop on Logic-based methods in Programming Environments

WLPE 2007

Aim and Scope
Accepted Papers
Programme
Important Dates
Organizers
Program Committee

WLPE'07

THE 17'TH WORKSHOP ON
LOGIC-BASED METHODS IN PROGRAMMING ENVIRONMENTS

September 13, 2007

Porto, Portugal

The 17th Workshop on Logic-based methods in Programming Environments will take place in Porto, Portugal, as a satellite workshop of ICLP'07, the 23th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005) and Seattle, Washington USA (2006).

The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. Areas particularly relevant to the workshop include:

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

Note that this list is not exhaustive and, if you are interested in taking part in the workshop but unsure if your work falls within its scope, do contact the organisers who will be happy to advise.

An informal proceedings will be distributed at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR).

Provisional Programme

9.10 Welcome

9.15 Debugging and optimization

Declarative Diagnosis of Floundering
An Observational Semantics of the Logic Programming Resolution Box Model
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation

10.30 Coffee break

11.00 Code and documentation generation

Optimizing Queries in a Logic-based Information Integration System
PlDoc: Wiki style Literate Programming for Prolog
Compiling ER Specifications into Declarative Programs
Automatic Coding Rule Conformance Checking using Logic Programs

12.30 Lunch

14.30 Program analysis

A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

15.20 General Discussion and Closing

Accepted Papers

Code and documentation generation

Andras Gyorgy Bekes and Peter Szeredi.
Optimizing Queries in a Logic-based Information Integration System
Jan Wielemaker and Anjo Anjewierden.
PlDoc: Wiki style Literate Programming for Prolog
Bernd Brassel, Michael Hanus and Marion Mueller.
Compiling ER Specifications into Declarative Programs

Debugging and optimization

Lee Naish.
Declarative Diagnosis of Floundering
Pierre Deransart, Mireille Ducasse and Gérard Ferrand.
An Observational Semantics of the Logic Programming Resolution Box Model
Francois Gobert and Baudouin Le Charlier.
Source-to-source optimizing transformations of Prolog programs based on abstract interpretation

Program analysis

Patricia Hill, Roberto Bagnara and Enea Zaffanella.
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
Kim Henriksen, Gourinath Banda and John Gallagher.
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Important dates:

Submission: (extended) June 22, 2007

Notification: July 8, 2007

Camera-ready: August 15, 2007

Workshop: September 13, 2007

Workshop organizers:

Patricia Hill

School of Computing, University of Leeds

Leeds, England

Phone: +44 113 343 6807

Fax: +44 113 343 5468

http://www.comp.leeds.ac.uk/hill/

Wim Vanhoof

Insitut d'Informatique, University of Namur

Namur, Belgium

Phone: +32 81 72 49 77

Fax: +32 81 72 49 67

http://www.info.fundp.ac.be/~wva/

Program committee:

John Gallager (Roskilde University, Denmark)
Gopal Gupta (University of Texas at Dallas, U.S.A)
Michael Hanus (Christian-Albrechts-Universität zu Kiel, Germany)
Pat Hill (University of Leeds, U.K.)
Erwan Jahier (Verimag Laboratory, Gières, France)
Gerda Janssens (KULeuven, Belgium)
Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain)
Baudouin Le Charlier (Catholic University of Louvain, Belgium)
Lunjin Lu (Oakland University, USA)
German Puebla (Technical University of Madrid, Spain)
Alexander Serebrenik (Technische Universiteit Eindhoven, The Netherlands)
Fausto Spoto (Università di Verona, Italy)
Wim Vanhoof (University of Namur, Belgium)
Enea Zaffanella (Università degli Studi di Parma, Italy)

Event's Web homepage:

http://www.comp.leeds.ac.uk/hill/WLPE07/

Wim Vanhoof, Patricia M Hill; 2007-07-31