Journal of Functional and Logic Programming, Volume 1996

Volume 1996, Number 1, 1996

• Sandro Etalle, Maurizio Gabbrielli: On the Correctness of the Replacement Operation for CLP Modules. BibTeX

Volume 1996, Number 2, 1996

• Heinz Faßbender, Andrea Mößle, Heiko Vogler: Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. BibTeX

Volume 1996, Number 3, 1996

• Simon Brock: Compile-Time Pointer Reversal. BibTeX

Volume 1996, Number 4, 1996

• Wei-Ngan Chin, Siau-Cheng Khoo: Better Consumers for Program Specializations. BibTeX