Call for Papers
ILPS'97 Post-Conference Workshop on
Specialization of Declarative Programs and its Applications
Port Jefferson, NY, October 16-17, 1997
This workshop will be run as a post-conference workshop of
Logic Programming Symposium on October 16-17, 1997.
The aim of this workshop is to discuss new trends, ideas
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.
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
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
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
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:
- Logic programming languages,
- Deductive databases,
- Constraint logic programming languages,
- Functional programming languages,
- Combined functional/logical programming languages,
- Declarative languages for concurrency or parallelism
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.
- Techniques for program transformation and specialization
(e.g. partial evaluation, partial deduction, supercompilation,...)
- Environments and tools
- Benchmarks, experiments, results, discussions of potential
and limitations as well as open problems
- Practical applications based on specialization and
The proceedings will be published as a
the University of Leuven and will also be
directly available on
- Important Dates:
Deadline for submissions: July 14, 1997
Notification of acceptance/rejection: August 15, 1997
- Program Committee:
- Saumya Debray,
University of Arizona, USA
University of Bristol, UK
University of Madrid, Spain
University of Copenhagen, Denmark
University of Leuven, Belgium
- Workshop Coordinator:
- Michael Leuschel,
University of Leuven, Belgium