Theory and Practice of Logic Programming
Editor-in-Chief: J. Minker

Special Issue on Program Development

Guest Editors: Maurice Bruynooghe and Kung-Kiu Lau

Call for Papers

(This call is also available in ascii and postscript formats.)

Theory and Practice of Logic Programming is planning a special issue on Program Development, on the occasion of the tenth anniversary of the first LOPSTR Workshop, and tentatively to appear in the beginning of 2002. High-quality papers are sought that either contain original research results or offer an insightful synthesis of past work on various aspects of program development. Topics include, but are not limited to:

  • specification
  • synthesis
  • transformation
  • analysis
  • specialization
  • termination
  • verification
  • components and composition
  • (semi-)automatic tools
  • applications
  • program development methodologies and environments

Revised and enhanced versions of papers published in conferences that have not appeared in archival journals are eligible for submission. In particular, papers describing important past research in this area which have not been published in archival journal papers are solicited. Surveys and comparison of state of the art techniques are also solicited.

Papers should be written in English, and formatted using the LaTeX style files developed by Cambridge University Press for TPLP. They can be downloaded from the directory: The style files are tlp.bst and tlp.cls.

The submission deadline is 30 September 2000. Please either send six copies of your paper, or (preferably) email a PostScript file, to:

Kung-Kiu Lau
Dept. of Computer Science
University of Manchester
Oxford Road
Manchester M13 9PL
United Kingdom

Authors are also requested to email a title and a four or five line abstract in plain text as early as possible to to facilitate organization.

Cambridge University Press