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
Copyright ©
Sun May 17 00:09:21 2009 by
Michael Ley
(
ley@uni-trier.de
)