JFLP: Articles Published in 1997

The Journal of Functional and Logic Programming

Volume 1997

Published by The MIT Press . Copyright 1997 Massachusetts Institute of Technology.

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.

Main page