IDL'99
International
Workshop on Implementation of Declarative Languages
http://www.binnetcorp.com/wshops/IDL99.html
Paris,
France, September 27-28, 1999
This
workshop will be held at PLI'99 - the International Conference on Principles,
Logics, and Implementations of high-level programming languages
http://pauillac.inria.fr/pli/
The
workshop is focused on design and implementation of declarative programming
languages and systems whether sequential, parallel, or distributed. Preference
will be given to the analysis and description of implemented systems (or
systems currently under implementation) and their associated techniques,
problems found in their development or design, and steps taken towards
the solution of these problems. Suggested topics of interest include, but
are not limited to:
-
standard
and non-standard implementation techniques (e.g., modifications of established
abstract machines, translation to Java or C, native-code generation, dynamic
compilation, etc.);
-
optimizing
compilers and static analysis;
-
distribution
and parallelism;
-
techniques
for the implementation of different extensions of declarative programming
languages (e.g., constraints, multi-paradigm languages, tabling, lazy evaluation,
...);
-
multi-language
interfaces, implementation techniques for building declarative components;
-
efficient
implementation of higher order features and meta-programming;
-
partial
evaluation and program specialization systems;
-
bench
marking and performance evaluation;
-
abstract
machines;
-
garbage
collection;
-
programming
environments;
-
experiences
from using systems in real-life applications.
We
expect that the workshop would be a full or one and a half day workshop,
considering the breadth/relevance of the topics discussed and the past
experience from organizing such events. The workshop would be organized
in three parts:
-
an
initial session devoted to presentations, including an invited talk;
-
sessions
devoted to system demonstrations and/or description of results obtained
on existing implementations;
-
final
panel session dedicated to discussion of current open problems and drawbacks
and future evolutions.
Please
send electronic submission in PostScript (or PDF) format to
idl99@cs.unt.edu.
If this is not possible, please send five hard copies to one of the workshop
chairs.
This
will be used as communication media for all the interested researchers.
In addition to hard copy, proceedings and distributed to the workshop participants,
the full proceedings will be made publicly available through WWW after
the workshop. Depending on the quality of accepted papers, publication
in a more established forum may take place after the workshop.
Submissions
Deadline: July 16, 1999
Notification
of Acceptance: August 15, 1999
Final
Versions Due: September 5, 1999
IDL'99
Workshop
Dates: Sept 27-28, 1999
Workshop
Chairs
Program
Committee
Marc
Feeley (Université de Montréal, CANADA)
Maria
Garcia de la Banda (Monash University, AUSTRALIA)
Fergus
Henderson (University of Melbourne, AUSTRALIA)
Michael
Hanus (RWTH Aachen, GERMANY)
Mark
P. Jones (Oregon Graduate Institute of Science & Technology, USA)
Guy
Lapalme (Université de Montréal, CANADA)
Olivier
Ridoux (IRISA/INRIA Campus de Beaulieu, FRANCE)
Kostis
Sagonas (Uppsala University, SWEDEN)
Paul
Tarau (University of North Texas & BinNet Corporation, USA)
Neng-Fa
Zhou (Kyushu Institute of Technology, JAPAN)
Invited
talk
The
Mozart Programming System and Its Implementation by Peter
Van Roy
Université
catholique de Louvain at Louvain-la-Neuve, Belgium
& Mozart Consortium
Proceedings
We
gratefully acknowledge the sponsorship of these
organisations
