CFP: ILPS'97 Workshop on Specialization (Michael Leuschel)
19 Jun 1997 00:03:02 -0400

          From comp.compilers

Related articles
CFP: ILPS'97 Workshop on Specialization (1997-06-19)
| List of all articles for this month |

From: (Michael Leuschel)
Newsgroups: comp.compilers
Date: 19 Jun 1997 00:03:02 -0400
Organization: Department of Computer Science, K.U.Leuven
Keywords: conference, CFP, logic

                                      SECOND ANNOUNCEMENT AND CALL FOR PAPERS

- only 4 weeks remaining until the deadline -

                                          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.
This workshop wants to encourage the exploitation of these advantages
  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:

      * Logic programming languages,
      * Deductive databases,
      * Constraint logic programming languages,
      * Functional programming languages,
      * Combined functional/logical programming languages,
      * Declarative languages for concurrency or parallelism

whereas some topics of special interest are:

      * 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 analysis

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 At
least one author of each accepted abstract is expected to attend the

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

          Deadline for submissions: July 14, 1997
          Notification of acceptance/rejection: August 15, 1997
          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
          Michael Leuschel, University of Leuven, Belgium


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.