Call For Papers
Optimization and Implementation
of Declarative Programming Languages
Las Cruces, New Mexico, Nov. 29 - Dec. 4, 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
This workshop will be tightly linked with the workshop entitled
Implemenetation Techniques for Logic Programming
There will be joint sessions, and the programme committees reserve the
right to transfer papers in the middle ground
from one workshop to the other.
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/deduction, source code vs. target code
specialisation, on-the-fly code generation,
automatic compiler generation
- Global/static analysis in optimization
- 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
A special journal issue of selected papers is planned.
- Important Dates:
Deadline for submissions: September 14, 1999
Notification of acceptance/rejection: October 9, 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