@INPROCEEDINGS{AlbertEtAl02WRS_ENTCS,
author = "Albert, E. and  Hanus, M. and Huch, F. and Oliver, J. and Vidal, G.",
title  = "Operational Semantics for Declarative Multi-Paradigm Languages",
year   = "2002",
editor       = "Gramlich, B. and Lucas, S.",
booktitle    = "Electronic Notes in Theoretical Computer Science",
publisher    = "Elsevier Science Publishers",
volume       = "70",
number       = "6",
note         = "Also available from
                {\tt http://www.elsevier.nl/locate/entcs/volume70.html}",
abstract = {
Practical declarative multi-paradigm languages
combine the main features of functional, logic and concurrent 
programming (e.g., laziness, sharing, higher-order, logic 
variables, non-determinism, search strategies).
Usually, these languages also include interfaces to 
external functions as well as to constraint solvers.
In this work, we introduce the first formal description of an
operational semantics for realistic multi-paradigm languages covering
all the aforementioned features in a precise and understandable
manner. We also provide a deterministic version of the
operational semantics which models search strategies 
explicitly. This deterministic semantics becomes essential to develop
language-specific tools like program tracers, profilers, optimizers, etc. 
Finally, we extend the deterministic semantics in order to model concurrent 
computations. An implementation of the complete operational semantics 
has been undertaken. 
}
}