@INPROCEEDINGS{AlbertEtAl02WFLP_ENTCS,
author = "Albert, E. and  Hanus, M. and Huch, F. and Oliver, J. and Vidal, G.",
title  = "Operational Semantics for Functional Logic Languages",
year   = "2002",
editor       = "Comini, M. and Falaschi, M.",
booktitle    = "Electronic Notes in Theoretical Computer Science",
publisher    = "Elsevier Science Publishers",
volume       = "76",
note         = "Also available from
                {\tt http://www.elsevier.nl/locate/entcs/volume76.html}",
abstract = {
In this work we provide a semantic description of functional logic languages
covering notions like laziness, sharing, and non-determinism.  Such a semantic
description is essential, for instance, to have appropriate language
definitions in order to reason about programs and check the correctness of
implementations.  First, we define a ``big-step'' semantics in natural style
to relate expressions and their evaluated results. Since this semantics is not
sufficient to reason about the operational aspects of programs, we also define
a ``small-step'' operational semantics covering the main features of
functional logic languages.  Finally, we demonstrate the equivalence of the
``small-step'' semantics and the natural semantics.
}
}