Optimization and Implementation
of Declarative Programming Languages and their Interaction
Las Cruces, New Mexico, October 16-17, 1999
This workshop will be run in conjunction with
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
Compilers and linkers are getting more and more sophisticated and employ
more and more high-level optimizations, such as partial evaluation or
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.
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:
languages of special interest are:
- Partial evaluation and automatic compiler generation, partial
deduction, program specialisation and transformation
- Implementation of non-standard functionalities such as threads,
- Intermediate representations for logic programs and constraints and
interfaces to other languages such as Java, CORBA, DBMS, GUI, etc.
- Link-time optimization and architecture-specific optimization techniques
- Low-level cost analysis to guide high-level optimizations
- High-level optimizations to enable low-level optimizations
- The interaction (beneficial or not)
between high-level and low-level optimizations and transformations.
- Empirical (positive and/or negative) results,
as well as the presentation of open problems
- Discussions on the "Black Art of Benchmarking"
- Surveys and tutorials of high-level optimizations (targeted at
experts) or low-level optimizations (targeted at the high-level
- Logic Programming languages and deductive databases,
- (Concurrent) Constraint logic programming languages,
- Functional programming languages,
- Combined functional/logical programming languages.
Extended abstracts must be written in English, must not exceed 5 pages
(excluding references and figures) for regular talks or 2 pages for short
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
At least one author of each accepted abstract is expected to attend the workshop.
The proceedings will be published as a
DSSE technical report
the University of Southampton
and will also be directly available on
- Important Dates:
Deadline for submissions: September 14, 1999
Notification of acceptance/rejection: October 15, 1999
- Program Committee:
- Saumya Debray,
University of Arizona, USA
University of Leuven, Belgium
University of Bristol, UK
University of Southampton, UK
University of Madrid, Spain
University of Melbourne, Australia
Kyushu Institute of Technology, Japan
- Workshop Coordinator:
- Michael Leuschel,
University of Southampton, UK