The Journal of Functional and Logic Programming
Published by The MIT Press.
Copyright 1997 Massachusetts Institute of Technology.
Your institution may already be a subscriber to JFLP. If not,
for legitimate access to all journal articles.
There are seven article in this volume.
None in this volume.
You can find the material that was published in 1997 also on the
ftp-server of The MIT Press (access may be faster, depending on your
Equivalence of the Quotient Term Model and the Least Complete
Herbrand Model for a Functional Logic Language
15 January 1997
Higher-Order Minimal Function Graphs
Neil D. Jones
and Mads Rosendahl,
27 February 1997
A Declarative Debugging Scheme
4 April 1997
Reasoning about Redundant Patterns
13 June 1997
On the Inference of Structured Recursive Effects with
Mourad Debbabi, Zahia Aïdoud, and Ali Faour,
30 June 1997
Abstracting Synchronization in Concurrent Constraint Programming
5 November 1997
A Minimality Study for Set Unification
Puri Arenas-Sánchez and Agostino Dovier,
4 December 1997
Numerous people have contributed in some way to this volume of JFLP.
The editors (members of the Editorial and
Executive Board) of JFLP as well as
the people of The MIT Press worked on
the production of this volume in too many ways to enumerate them here.
Michael J. O'Donnell
was an irreplaceable help, not only by providing
also by giving important advice; he also
provided some of the WWWeb material used in these pages.
provided important TeXnical advice.
Computer Science Department of the
Technical University Berlin kindly
provides the Web space for JFLP.
The technical credit is given