CFP: Workshop on Declarative Programming in the Context of OO Languages

Call for Papers

Workshop on
DECLARATIVE PROGRAMMING IN THE CONTEXT OF OO LANGUAGES
(DP-COOL 2003)
25 August 2003
Uppsala, Sweden

associated with the federation meeting
PRINCIPLES, LOGICS AND IMPLEMENTATIONS OF HIGH-LEVEL LANGUAGES
(PLI'03)


Declarative programming is appealing for its purity, clarity, and high
levels of abstraction, but it is a reality that most real-world
software development is done in object-oriented languages, primarily
C++ and Java.

Proponents of declarative programming have demonstrated, particularly
in the case of functional languages, that most of the benefits and
features of object-oriented programming may be more or less readily
realized and expressed in declarative languages. While this attests
to the expressive power of such languages it has yet to convert the
industry from mainstream OO languages, and seems unlikely to do so
in the foreseeable future.

A complementary approach to realizing the benefits of declarative
programming is to express the paradigms it represents in existing OO
languages. Significant work has been done, for example, in expressing
non-strict FP in C++, and similarly for Java (in particular by
extending the language). It is clear, however, that much work remains
to be done, both in expressing the paradigms represented by DP in OO
languages, and in promulgating the resulting idioms to the industry.

This workshop seeks to bring together practitioners and researchers in
this developing field to `compare notes' on their work--describe
existing, developing, or proposed techniques, idioms, methodologies,
language extensions, or software for expressing declarative paradigms
in OO languages, or theoretical work supporting or defining the same.
Work-in-progress reports are welcome, as are experience papers if they
present an instructive lesson.

Specific areas of interest include, but are not limited to:

* declarative programming with OO languages;
* merging functional/logic/OO/other programs (language crossbinding);
* declarative programming at the meta level (e.g. using
template metaprogramming);
* OO design patterns and their relation to functional patterns;
* declarative programming in the .NET framework;
* type system relationships between languages;
* theoretical foundations of declarative programming with OO
languages.

The workshop will consist of sequences (3-4) of short presentations
followed by a discussion session. The workshop will conclude with an
overall discussion. We expect the majority of the participants to
give presentations.

Full papers will be published as an issue of the NIC (John von Neumann
Institute for Computing) series, distributed at the workshop, and also
made available at the DP-COOL 2003 WWW site.

For authors of accepted presentations who require justification for travel
the organizers can provide official letters of invitation.

SUBMISSION PROCEDURE

Prospective authors are invited to submit abstracts in PDF or postscript.
Any common encoding (MIME or uuencode) or compression (zip, gzip) is
acceptable. Authors of accepted papers are responsible for submitting the
final version using the Springer LNCS LaTeX template (available at
http://www.springer.de/comp/lncs/authors.html) by July 31 to ensure
inclusion in the proceedings. Submission and email correspondence to
dpcool03@multiparadigm.org.

AUTHORS' SCHEDULE

July 7, 2003: Abstracts due.
July 14, 2003: Notification of acceptance.
July 31, 2003: Full papers due.

ORGANIZATION

This workshop is a joint organization by the John von Neumann Institute for
Computing (NIC) at Research Centre Juelich, Germany and Los Alamos National
Laboratory, New Mexico, USA.

PROGRAMME COMMITTEE / ORGANIZERS

Gerald Baumgartner (Ohio State University, Ohio, USA)
Timothy Budd (Oregon State University, Oregon, USA)
Kei Davis (Los Alamos National Laboratory, New Mexico, USA)
Jaakko Jarvi (Indiana Univerity, Indiana, USA)
Herbert Kuchen (University of Muenster, Germany)
Peter Van Roy (Universite catholique de Louvain, Belgium)
Joerg Striegnitz (John von Neumann Institute for Computing, Germany)

FURTHER INFORMATION

DPCOOL'03: http://www.multiparadigm.org/dpcool03
PLI'03 http://www.it.uu.se/pli03