The Journal of Functional and Logic Programming

Volume 1997

Your institution may already be a subscriber to JFLP. If not, please subscribe for legitimate access to all journal articles.

There are seven article in this volume.

Editorials

None in this volume.

Articles

Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language by Makoto Hamana, 15 January 1997
Higher-Order Minimal Function Graphs by Neil D. Jones and Mads Rosendahl, 27 February 1997
A Declarative Debugging Scheme by Lee Naish, 4 April 1997
Reasoning about Redundant Patterns by Delia Kesner, 13 June 1997
On the Inference of Structured Recursive Effects with Subtyping by Mourad Debbabi, Zahia Aïdoud, and Ali Faour, 30 June 1997
Abstracting Synchronization in Concurrent Constraint Programming by Enea Zaffanella, Roberto Giacobazzi, and Giorgio Levi, 5 November 1997
A Minimality Study for Set Unification by Puri Arenas-Sánchez and Agostino Dovier, 4 December 1997

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 location).

Acknowledgments

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 cjstruct, but also by giving important advice; he also provided some of the WWWeb material used in these pages. Martin Simons provided important TeXnical advice.

The Computer Science Department of the Technical University Berlin kindly provides the Web space for JFLP.

The technical credit is given separately.

*back to* Main page