IDL'99 - International Workshop on Implementation of Declarative Languages -

Online Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99)
Edited by Konstantinos Sagonas & Paul Tarau

http://www.binnetcorp.com/wshops/IDL99.html

The workshop was held in conjunction with PLI'99 - the International Conference on Principles, Logics, and Implementations of high-level programming languages. http://pauillac.inria.fr/pli/ , Paris, France, September 27-28, 1999

The main intent of IDL'99 was to bring together, in an informal and friendly setting, researchers involved in implementing declarative (logic-based, functional, constraint, ...) languages and systems, in order to promote a much needed exchange of ideas and feedback on recent developments. The co-location of ICFP and PPDP conferences this year in Paris provided a common forum for people of different, and sometimes unnecessarily disjoined research communities to come together and to better achieve these goals.

The call for papers listed the following as suggested (but not exclusive) topics of interest:

standard and non-standard implementation schemes (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, ... );
efficient implementation of higher order features and meta-programming;
partial evaluation and program specialisation systems;
benchmarking and performance evaluation;
abstract machines;
garbage collection;
programming environments;
experiences from using systems in real-life applications

In response to the call for papers, 16 papers were submitted to the workshop. All submitted papers were reviewed by at least three members of the program committee. These proceedings include revised versions of the 11 contributions which the program committee selected for presentation at the workshop after a fully electronic program committee meeting. Besides the presentations of accepted papers, the program of IDL'99 contained a panel discussion on current trends in the design and implementation of inferential languages, 2 invited talks of ICFP'99 given by Arvind and Xavier Leroy, and its own invited talk by Peter Van Roy titled "The Mozart Programming System and its Implementation".

Besides Peter for accepting this invitation, the workshop chairs would like to extend their thanks to all authors that submitted papers to the workshop (especially those that followed the submission guidelines), the members of the PC committee for their help in the success of the workshop and their thorough reviews, and Didier Remy (the local organizer of PLI'99) for his help in organizational matters of this workshop. Last, but not least, thanks to all workshop participants !

Workshop Chairs
Konstantinos Sagonas
Uppsala University,
Computing Science Department
P.O Box 311, 751 05
Uppsala, SWEDEN kostis@csd.uu.se

Paul Tarau
University of North Texas & BinNet Corporation
Department of Computer Science
P.O Box 311366, Denton
Texas 76203-1366 USA tarau@cs.unt.edu

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

Invited Talk of ICFP'99
Arvind and Xavier Leroy (INRIA, Roccquencourt & Trusted Logic, France)

Logic and Constraint Programming Language Implementation and Design:
Baoqiu Cui, Terrance Swift, David S. Warren:
From Tabling to Transformation: Efficiently Computing Residual Programs in the SLG-WAM
Tobias Müller:
Practical Investigation of Constraints with Graph Views
Alexey A. Morozov:
Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics ( PDF )

Implementation Techniques for Functional and Logic/Functional Languages:
Simon Peyton Jones, Simon Marlow:
Secrets of the Glasgow Haskell Compiler Inliner
Wolfgang Grieskamp:
The uZ Calculus and its Implementation ( HTML )
Kerstin Eder:
Implementing Escher on a Graph Reduction Machine
M. Alpuente, S. Escobar, S. Lucas:
Incremental Needed Narrowing ( HTML )

Analysis of Inferential Languages:
Michael Hanus, Frank Steiner:
A Type-based Nondeterminism Analysis for Functional Logic Languages ( HTML )
Nancy Mazur, Gerda Janssens, Maurice Bruynooghe:
Towards Memory Reuse in Mercury ( PDF )
Joonseon Ahn and Taisook Han:
Analysis of Parallelism in Recursive Functions on Recursive Data Structures ( HTML )
Karl-Filip Faxen:
Representation Analysis for Coercion Placement