Call for Papers

ILPS'97 Post-Conference Workshop on

Specialization of Declarative Programs and its Applications

Port Jefferson, NY, October 16-17, 1997


Overview: This workshop will be run as a post-conference workshop of the 1997 International Logic Programming Symposium on October 16-17, 1997. The aim of this workshop is to discuss new trends, ideas and developments concerning the specialization of declarative languages, especially geared towards trying to exploit the advantages of these languages in practice. The workshop is thereby not limited to the field of logic programming - submissions from other fields involved with the declarative programming paradigm, like e.g. functional programming, are encouraged and cross-fertilization is sought.

Motivations: Program specialization, also called partial evaluation or partial deduction, is an automatic tool for program optimisation, similar in concept to, but in several ways stronger than highly optimising compilers. Declarative programming languages are high-level programming languages in which one only has to state what is to be computed and not necessarily how it is to be computed. Because of their clear (and often simple) semantical foundations, declarative languages offer significant advantages for the design of semantics based program analysers, transformers and optimisers. Unfortunately these advantages have seldomly been exploited in practice. This workshop wants to encourage the exploitation of the advantages of declarative languages and turn them into visible practical benefits, taking the form of e.g. powerful program analysers, transformers and specializers helping the user to write efficient, reliable and correct programs.

Original submissions on all aspects of specialization of declarative languages are solicited. Descriptions of work in progress are also welcome. Some languages of special interest are:

whereas some topics of special interest are: Extended abstracts must be written in English, must not exceed 5 pages (excluding references and figures), and 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 mail to Michael.Leuschel@cs.kuleuven.ac.be. At least one author of each accepted abstract is expected to attend the workshop.

The proceedings will be published as a technical report of the University of Leuven and will also be directly available on the world-wide-web.

Important Dates:
Deadline for submissions: July 14, 1997
Notification of acceptance/rejection: August 15, 1997
Program Committee:
Saumya Debray, University of Arizona, USA
John Gallagher, University of Bristol, UK
Manuel Hermenegildo, University of Madrid, Spain
Neil Jones, University of Copenhagen, Denmark
Michael Leuschel, University of Leuven, Belgium
Workshop Coordinator:
Michael Leuschel, University of Leuven, Belgium