| | |
Summary: An Operational Semantics for
Declarative Multi-Paradigm Languages
E. Albert1
M. Hanus2
F. Huch2
J. Oliver1
G. Vidal1
1
DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain
{ealbert,fjoliver,gvidal}@dsic.upv.es
2
Institut f¨ur Informatik, CAU Kiel, Olshausenstr. 40, D-24098 Kiel, Germany
{mh,fhu}@informatik.uni-kiel.de
Abstract. In this paper we define an operational semantics for func-
tional logic languages covering notions like laziness, sharing, concurrency,
non-determinism, etc. Such a semantics is not only important to provide
appropriate language definitions to reason about programs and check the
correctness of implementations but it is also a basis to develop language-
specific tools, like program tracers, profilers, optimizers, etc. First, we
define a "big-step" semantics in natural style to relate expressions and
|
