ICLP'99 Workshop on

Optimization and Implementation of Declarative Programming Languages

WOID'99

Las Cruces, New Mexico, Nov. 29 - Dec. 4, 1999


Overview:

This workshop was run in conjunction with the 1999 International Conference on Logic Programming on November 29 - December 4, 1999. The aim of this workshop is to provide a forum where new trends, ideas and developments concerning the optimization and implementation of declarative languages can be discussed. It is especially geared towards bringing researchers from low-level compilation and high-level optimization together, and papers or talks which bridge this gap are especially welcome. This workshop was tightly linked with the workshop entitled Parallelism and Implemenetation Techniques for Logic Programming Languages.

Motivations:

Compilers and linkers are getting more and more sophisticated and employ more and more high-level optimizations, such as partial evaluation or deforestation. Researchers in high-level optimization and transformation, on the other hand, realise that low-level issues have to be taken into account in order to apply their techniques in practice. So, in this workshop we wanted to provide the possibility for these two areas to meet and accelerate their synergy.

Accepted Papers:

Out of 11 submissions the following 8 papers were selected:

Programme and Proceedings:

The programme is here.

The proceedings have now been published as a special issue of the Electronic Notes in Theoretical Computer Science, Volume 30, Issue 2. Initially, the proceedings were distributed as a DSSE technical report of the University of Southampton (see here).

The original call for papers is here.

Organization:

Program Committee:
Saumya Debray, University of Arizona, USA
Bart Demoen, University of Leuven, Belgium
John Gallagher, University of Bristol, UK
Michael Leuschel, University of Southampton, UK
German Puebla, University of Madrid, Spain
Peter Stuckey, University of Melbourne, Australia
Neng-Fa Zhou, Kyushu Institute of Technology, Japan
Workshop Coordinator:
Michael Leuschel, University of Southampton, UK