Workshop Proposal

ICLP'99 Workshop on

Optimization and Implementation of Declarative Programming Languages and their Interaction

Las Cruces, New Mexico, October 16-17, 1999


Overview:

This workshop will be 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.

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 want to provide the possibility for these two areas to meet and accelerate their synergy.

Topics:

Submissions on all aspects of optimization and implementation of declarative languages are solicited. Descriptions of work in progress are also welcome. Topics of particular interest are: Some programming languages of special interest are:

Submissions:

Extended abstracts must be written in English, must not exceed 5 pages (excluding references and figures) for regular talks or 2 pages for short talks. Submissions must include a cover page containing: a 200-word abstract, keywords, postal and electronic mailing addresses, and voice and fax numbers of one of the authors. Papers must be submitted electronically. Please send a postscript file to the workshop coordinator via electronic mail to mal@ecs.soton.ac.uk. At least one author of each accepted abstract is expected to attend the workshop.

The proceedings will be published as a DSSE technical report of the University of Southampton and will also be directly available on the world-wide-web.

Important Dates:
Deadline for submissions: September 14, 1999
Notification of acceptance/rejection: October 15, 1999

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